From total equational to partial rst order (1999)

by Maura Cerioli, Till Mossakowski, Horst Reichel
Venue:Algebraic Foundation of Information Systems Speci cation