Mendler, MichaelMichaelMendlerLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192014-09-242007https://fis.uni-bamberg.de/handle/uniba/15376engIs observational congruence on µ-expressions axiomatisable in equational horn logic?book