Consistency and Semantics of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov Anatoli Degtyarev Consistency and Semantics of Equational Definitions over Predefined Algebras. 67-81 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#AntimirovD92