Qing Guo Paliath Narendran Sandeep K. Shukla Unification and Matching in Process Algebras. 91-105 http://dx.doi.org/10.1007/BFb0052363 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#GuoNS98