Novodvorsky, Aleksey; Smirnov, Aleksey A shell for generic interactive proof search. (English) Zbl 0955.03503 J. Appl. Non-Class. Log. 8, No. 1-2, 123-140 (1998). MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{A. Novodvorsky} and \textit{A. Smirnov}, J. Appl. Non-Class. Log. 8, No. 1--2, 123--140 (1998; Zbl 0955.03503) Full Text: DOI OpenURL
Demri, S. Efficient strategies for automated reasoning in modal logics. (English) Zbl 0988.03508 MacNish, Craig (ed.) et al., Logics in artificial intelligence. European Workshop JELIA ’94, York, GB, September 5-8, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 838, 182-197 (1994). MSC: 03B35 03B45 PDF BibTeX XML Cite \textit{S. Demri}, Lect. Notes Comput. Sci. 838, 182--197 (1994; Zbl 0988.03508) OpenURL