Deepak Kapur David R. Musser Paliath Narendran Jonathan Stillman Semi-Unification. 169-187 1991 81 Theor. Comput. Sci. 2 db/journals/tcs/tcs81.html#KapurMNS91