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; Stockmeyer, Larry Parallel algorithms for term matching. (English) Zbl 0643.68134 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 416-430 (1986). MSC: 68T15 68Q25 68R10 PDFBibTeX XML
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