Is Observational Congruence Axiomatisable in Equational Horn Logic?

Michael Mendler, Gerald Lttgen

Browse the full CONCUR paper archive.