Existential Quantifiers in Abstract Data Types.

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing

Browse the full ICALP paper archive.