Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne Theorem proving using equational matings and rigid \(E\)-unification. (English) Zbl 0799.68171 J. Assoc. Comput. Mach. 39, No. 2, 377-429 (1992). Cited in 1 ReviewCited in 16 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:theorem proving; matings; \(E\)-unification; equational premating; NP- complete Software:ETPS PDFBibTeX XMLCite \textit{J. Gallier} et al., J. Assoc. Comput. Mach. 39, No. 2, 377--429 (1992; Zbl 0799.68171) Full Text: DOI