1. Barker-Plummer, D., Barwise, J., Etchemendy, J.: Logical Reasoning with Diagrams & Sentences: Using Hyperproof. CSLI Publications, Stanford (2017)
2. Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids–a sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22(1), 56–65 (2011)
3. Barwise, J., Etchemendy, J.: Hyperproof: For Macintosh. The Center for the Study of Language and Information Publications, Stanford (1995)
4. van Dalen, D.: Logic and Structure, 4th edn. Springer, Heidelberg (2004).
https://doi.org/10.1007/978-3-540-85108-0
5. Gentzen, G.: Untersuchungen über das logische Schließen, Mathematische Zeitschrift, 39, 176–210, 405–431 (1934). English Translation: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen (1969)