Tilbage til artikeldetaljer Consistency and Semantics of Equational Definitions over Predefined Algebras Download Download PDF