Dougherty, Daniel J.; Johann, Patricia A combinatory logic approach to higher-order E-unification. (English) Zbl 0874.68271 Theor. Comput. Sci. 139, No. 1-2, 207-242 (1995). MSC: 68T27 68Q42 03B40 PDFBibTeX XMLCite \textit{D. J. Dougherty} and \textit{P. Johann}, Theor. Comput. Sci. 139, No. 1--2, 207--242 (1995; Zbl 0874.68271) Full Text: DOI
Johann, Patricia Normal forms in combinatory logic. (English) Zbl 0830.03005 Notre Dame J. Formal Logic 35, No. 4, 573-594 (1994). MSC: 03B40 PDFBibTeX XMLCite \textit{P. Johann}, Notre Dame J. Formal Logic 35, No. 4, 573--594 (1994; Zbl 0830.03005) Full Text: DOI
Johann, Patricia; Kohlhase, Michael Unification in an extensional lambda calculus with ordered function sorts and constant overloading. (English) Zbl 1433.68554 Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 620-634 (1994). MSC: 68V15 03B35 03B40 PDFBibTeX XMLCite \textit{P. Johann} and \textit{M. Kohlhase}, Lect. Notes Comput. Sci. 814, 620--634 (1994; Zbl 1433.68554) Full Text: DOI Link
Dougherty, Daniel J.; Johann, Patricia An improved general \(E\)-unification method. (English) Zbl 0773.68063 J. Symb. Comput. 14, No. 4, 303-320 (1992). MSC: 68T15 PDFBibTeX XMLCite \textit{D. J. Dougherty} and \textit{P. Johann}, J. Symb. Comput. 14, No. 4, 303--320 (1992; Zbl 0773.68063) Full Text: DOI
Dougherty, Daniel J.; Johann, Patricia An improved general \(E\)-unification method. (English) Zbl 1509.68117 Stickel, Mark E. (ed.), Automated deduction – CADE-10. 10th international conference, Kaiserslautern, Germany, July 24–27, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 449, 261-275 (1990). MSC: 68Q42 03B35 PDFBibTeX XMLCite \textit{D. J. Dougherty} and \textit{P. Johann}, Lect. Notes Comput. Sci. 449, 261--275 (1990; Zbl 1509.68117) Full Text: DOI