On the Power of Quantifers in First-Order Algebraic Specification. - David Kempe 001; Arno Schöegge (CSL, 1998)