Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, Paolo Structured proof procedures. (English) Zbl 0857.68093 Ann. Math. Artif. Intell. 15, No. 1, 1-18 (1995). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Ann. Math. Artif. Intell. 15, No. 1, 1--18 (1995; Zbl 0857.68093) Full Text: DOI
Armando, Alessandro; Giunchiglia, Enrico Embedding complex decision procedures inside an interactive theorem prover. (English) Zbl 1034.68541 Ann. Math. Artif. Intell. 8, No. 3-4, 475-502 (1993). MSC: 68T15 PDFBibTeX XMLCite \textit{A. Armando} and \textit{E. Giunchiglia}, Ann. Math. Artif. Intell. 8, No. 3--4, 475--502 (1993; Zbl 1034.68541) Full Text: DOI