1. Avron, A. (1996) The method of hypersequents in the proof theory of propositional nonclassical logics, in W. Hodges et al. (eds.), Logic: Foundations to Applications, Oxford Science Publications, Clarendon Press, Oxford, pp. 1-32.
2. Batens, D. and Provijn, D. (2001) Pushing the search paths in the proofs. A study in proof heuristics, Logique et Analyse 173–175, 113-134.
3. Beth, E. M. (1962) Formal Methods, D. Reidel, Dordrecht.
4. Degtyarev, A. and Voronkov, A. (2001) The inverse method, in A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning, Vol. 1, Elsevier, Amsterdam, pp. 181-269.
5. Gabbay, D. and Olivetti, N. (2000) Goal-Directed Proof Theory, Kluwer Academic Publishers, Dordrecht.