Jerzy Tiuryn, and Pawel Urzyczyn. The undecidability of the semi-unification problem. Information and Computation, 102(1):83–1018, 1993. Constructive Logic for Functional Programs 39 [Man05] Matthias Mann. Congruence of bisimulation in a non-deterministic (2005)

by A J Kfoury
Venue:Electron. Notes Theor. Comput. Sci