Jeffrey Scott Vitter, Roger A. Simons. Parallel algorithms for unification and other complete problems in p. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 75-84, ACM, 1984. [doi]
Abstract is missing.