From Total Equational to Partial First Order Logic (1998)

by Maura Cerioli, Till Mossakowski, Horst Reichel