On the Power of Quantifers in First-Order Algebraic Specification.

David Kempe, Arno Schegge

Browse the full CSL paper archive.