1. Constable, R.L., On building constructive formal theories of computation. noting the roles of Turing, Church, and Brouwer, Proc. of the 27th Annu. IEEE/ACM Symp. on Logic in Computer Science (LICS’ 12), 2012, pp. 2–8.
2. Schmitt, S., Lorigo, L., Kreitz, C., and Nogin, A., JProver: Integrating connection-based theorem proving into interactive proof assistant, Lect. Notes Comput. Sci., 2001, vol. 2083, pp. 421–426.
3. The ILTP Library. Provers and Results. http://iltp.de/results.html
4. Raths, T., Otten, J., and Kreitz, C., The ILTP Library: Benchmarking theorem provers for intuitionistic logic, automated reasoning with analytic tableaux and related methods, Lect. Notes Artificial Intelligence, 2005, vol. 3702, pp. 333–337.
5. Pavlov, V. and Pak, V., The inverse method and firstorder logic theorem proving, Nonlinear Dynamics Appl., 2014, vol. 20, pp. 127–135.