Kraan, Ina; Basin, David; Bundy, Alan Middle-out reasoning for synthesis and induction. (English) Zbl 0847.68104 J. Autom. Reasoning 16, No. 1-2, 113-145 (1996). MSC: 68T15 PDFBibTeX XMLCite \textit{I. Kraan} et al., J. Autom. Reasoning 16, No. 1--2, 113--145 (1996; Zbl 0847.68104) Full Text: DOI
Richards, Bradley L.; Kraan, Ina; Smaill, Alan; Wiggins, Geraint A. Mollusc: a general proof-development shell for sequent-based logics. (English) Zbl 1433.68564 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, 826-830 (1994). MSC: 68V15 PDFBibTeX XMLCite \textit{B. L. Richards} et al., Lect. Notes Comput. Sci. 814, 826--830 (1994; Zbl 1433.68564) Full Text: DOI