Giambrone, Steve Gentzen systems and decision procedures for relevant logics. (Abstract). (English) Zbl 0523.03015 Bull. Sect. Logic, Pol. Acad. Sci. 11, 169-175 (1982). MSC: 03B45 03F99 03B25 PDFBibTeX XMLCite \textit{S. Giambrone}, Bull. Sect. Logic, Pol. Acad. Sci. 11, 169--175 (1982; Zbl 0523.03015)
Bibel, Wolfgang Computationally improved versions of Herbrand’s theorem. (English) Zbl 0518.68052 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 11-28 (1982). MSC: 68T15 03B35 68Q25 03F20 PDFBibTeX XML
Martelli, Alberto; Montanari, Ugo An efficient unification algorithm. (English) Zbl 0478.68093 ACM Trans. Program. Lang. Syst. 4, 258-282 (1982). MSC: 68T15 03B10 03F20 03B35 PDFBibTeX XMLCite \textit{A. Martelli} and \textit{U. Montanari}, ACM Trans. Program. Lang. Syst. 4, 258--282 (1982; Zbl 0478.68093) Full Text: DOI Backlinks: MO
McDermott, Drew Nonmonotonic logic. II: nonmonotonic modal theories. (English) Zbl 0477.68099 J. Assoc. Comput. Mach. 29, 33-57 (1982). MSC: 68T15 03B45 03B60 PDFBibTeX XMLCite \textit{D. McDermott}, J. Assoc. Comput. Mach. 29, 33--57 (1982; Zbl 0477.68099) Full Text: DOI