Is Observational Congruence Axiomatisable in Equational Horn Logic?

Cached

Download Links

by Michael Mendler , Gerald Lüttgen