Employing Path Dissolution to Shorten Tableaux Proofs.

Neil V. Murray, Erik Rosenthal

Browse the full ISSAC paper archive.