This paper is superseded by the paper
T. Jensen: Disjunctive Program Analysis for Algebraic Data Types
ACM Transactions on Programming Languages and Systems, Vol. 19 No. 5,
pp. 752-804, September 1997
ACM Press
Thomas Jensen
Last modified: Thu Apr 1 15:36:14 MET DST 1999