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