Is observational congruence on µ-expressions axiomatisable in equational Horn logic?

Michael Mendler, Gerald Lüttgen. Is observational congruence on µ-expressions axiomatisable in equational Horn logic?. Inf. Comput., 208(6):634-651, 2010. [doi]

Abstract

Abstract is missing.