Is Observational Congruence Axiomatisable in Equational Horn Logic?

by Michael Mendler , Gerald Lüttgen