A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract).

Wilfried Neitz

Browse the full TABLEAUX paper archive.