From total equational to partial first order logic (1999)

by M Cerioli, T Mossakowski, H Reichel
Venue:Algebraic Foundations of Systems Specifications