Dwork, Cynthia; Kanellakis, Paris C.; Stockmeyer, Larry Parallel algorithms for term matching. (English) Zbl 0651.68110 SIAM J. Comput. 17, No. 4, 711-731 (1988). MSC: 68T15 68R10 68Q25 PDFBibTeX XMLCite \textit{C. Dwork} et al., SIAM J. Comput. 17, No. 4, 711--731 (1988; Zbl 0651.68110) Full Text: DOI
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C. On the sequential nature of unification. (English) Zbl 0588.68045 J. Logic Program. 1, 35-50 (1984). MSC: 68T15 68Q25 68R10 PDFBibTeX XMLCite \textit{C. Dwork} et al., J. Log. Program. 1, 35--50 (1984; Zbl 0588.68045) Full Text: DOI