Mendler, MichaelMichaelMendlerLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192014-09-242007https://fis.uni-bamberg.de/handle/uniba/18098engIs observational congruence axiomatisable in equational horn logic?conferenceobject10.1007/978-3-540-74407-8http://dx.doi.org/10.1007/978-3-540-74407-8