Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne Rigid E-unification: NP-completeness and applications to equational matings. (English) Zbl 0709.68080 Inf. Comput. 87, No. 1-2, 129-195 (1990). Reviewer: M.Armbrust MSC: 68T15 68Q25 03B35 PDFBibTeX XMLCite \textit{J. Gallier} et al., Inf. Comput. 87, No. 1--2, 129--195 (1990; Zbl 0709.68080) Full Text: DOI
Plaisted, David A. Complete problems in the first-order predicate calculus. (English) Zbl 0592.03026 J. Comput. Syst. Sci. 29, 8-35 (1984). Reviewer: E.Heinrich MSC: 03D15 03B10 03B25 03B35 68Q25 03F20 PDFBibTeX XMLCite \textit{D. A. Plaisted}, J. Comput. Syst. Sci. 29, 8--35 (1984; Zbl 0592.03026) Full Text: DOI Link