Parallel algorithms for unification and other complete problems in p. - Jeffrey Scott Vitter; Roger A. Simons (ACM Annual Conference, 1984)

New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P. - Jeffrey Scott Vitter; Roger A. Simons (IEEE Trans. Computers, 1986)