1. Waaler, A., Antonsen, R.: A free variable sequent calculus with uniform variable splitting. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003, vol. 2796, pp. 214–229. Springer, Heidelberg (2003)
2. Bibel, W.: Automated Theorem Proving, 2nd edn. Vieweg Verlag (1987)
3. Antonsen, R.: Uniform variable splitting. In: Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004). CEUR Workshop Proceedings, Cork, Ireland, July 04-July 08, 2004. Vol. 106, pp. 1–5 (2004), Online:
http://ceur-ws.org/Vol-106/01-antonsen.pdf
4. Wallen, L.A.: Automated deduction in nonclassical logics. MIT Press, Cambridge (1990)
5. Hähnle, R.: Tableaux and related methods. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, pp. 100–178. Elsevier Science, Amsterdam (2001)