Equivalence and difference of institutions: Simulating Horn clause logic with based algebras (1995)

by H-J Kreowski, T Mossakowski
Venue:Mathematical Structures in Computer Science