From total equational to partial first order (1998)

by Maura Cerioli, Till Mossakowski, Horst Reichel
Venue:In State of the Art in Algebraic Specification. IFIP