1. Allen, S., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: The NuPRL open logical environment. In: 17th CADE, Lecture Notes in Artificial Intelligence, vol. 1831, pp. 170–176. Springer, Berlin Heidelberg New York (2000)
2. Avellone, A., Fiorino, G., Moscato, U.: A new o(n log n)-space decision procedure for propositional intuitionistic logic. In: Kurt Gödel Society Collegium Logicum, vol. VIII, pp. 17–33. KGS (2004)
3. Balsiger, P., Heuerding, A., Schwendimann, S.: Logics workbench 1.0. In: 7th TABLEAUX Conference, Lecture Notes in Computer Science, vol. 1397, pp. 35–37. Springer, Berlin Heidelberg New York (1998)
4. Bertot, Y., Castéran, P.: Interactive theorem proving and program development. In: Texts in Theoretical Computer Science. Springer, Berlin Heidelberg New York (2004)
5. Chang, C.-L., Lee, R.: Symbolic Logic and Mechanical Theorem Proving. Academic, New York (1973)