Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
scientific article; zbMATH DE number 5726617
scientific article