A Unification Algorithm for the \Pi-calculus (1992)

by David Pym
Venue:International Journal of Foundations of Computer Science