From total equational to partial first order logic (1999)

by M Cerioli, T Mossakowski, H Reichel
Venue:Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification