Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (1995)

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