Reexamining Intractability of Tableau Methods.

Neil V. Murray, Erik Rosenthal

Browse the full ISSAC paper archive.