Cerioli, Maura; Mossakowski, Till; Reichel, Horst From total equational to partial first-order logic. (English) Zbl 0949.03028 Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 31-104 (1999). MSC: 03B70 68Q65 03B10 PDFBibTeX XMLCite \textit{M. Cerioli} et al., in: Algebraic foundations of systems specification. Berlin: Springer. 31--104 (1999; Zbl 0949.03028)
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till Permissive subsorted partial logic in CASL. (English) Zbl 0886.03022 Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 91-107 (1997). MSC: 03B70 68Q65 08A70 PDFBibTeX XMLCite \textit{M. Cerioli} et al., Lect. Notes Comput. Sci. 1349, 91--107 (1997; Zbl 0886.03022)