1. P. Abate, R. Goré, The Tableaux Work Bench, in Proceedings of IJCAR 2003. LNCS, vol. 2796 (Springer, 2003), pp. 230–236
2. R. Antonsen, A. Waaler, A labelled system for IPL with variable splitting, in Proceedings of CADE 2007. LNAI, vol. 4603 (Springer, 2007), pp. 132–146
3. A. Avellone, G. Fiorino, U. Moscato, An implementation of a $$O(n\ log\ n)$$ O ( n l o g n ) -SPACE decision procedure for propositional intuitionistic logic, in 3rd International Workshop on the Implementation of Logics (Tbilisi, Georgia, Oct 2002)
4. B. Barras, S. Boutin, et al., The Coq proof assistant reference manual, version 6.2.1. Technical Report, INRIA (2000). http://www.ftp.inria.fr
5. E.W. Beth, The Foundations of Mathematics (North-Holland, 1959)