Return to Article Details Consistency and Semantics of Equational Definitions over Predefined Algebras Download Download PDF