1. Arbib, M.E., Manes, E.G.: Arrows, structures and functors: the categorical imperative. New York: Academic Press 1975
2. Bell, J.L., Slomson, A.B.: Models and ultraproducts: an introduction. Amsterdam: North-Holland 1971
3. Bergstra, J.A., Klop, J.W.: Conditional rewrite rules: confluence and termination. J. Comput. Syst. Sci.32, 323?362 (1986)
4. Lect. Notes Comput. Sci.;J.A. Bergstra,1980
5. Bertling, H., Ganzinger, H., Schafers, R.: CEC: a system for conditional equational completion. User Manual (Version 1.0). Report, PROSPECTRA-Project, University of Dortmund, 1988