Slaney, John Minlog: a minimal logic theorem prover. (English) Zbl 1430.68424 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 268-271 (1997). MSC: 68V15 03B35 PDF BibTeX XML Cite \textit{J. Slaney}, Lect. Notes Comput. Sci. 1249, 268--271 (1997; Zbl 1430.68424) Full Text: DOI
Demri, Stéphane Uniform and non uniform strategies for tableaux calculi for modal logics. (English) Zbl 0826.03006 J. Appl. Non-Class. Log. 5, No. 1, 77-96 (1995). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B35 03B45 PDF BibTeX XML Cite \textit{S. Demri}, J. Appl. Non-Class. Log. 5, No. 1, 77--96 (1995; Zbl 0826.03006) Full Text: DOI