Neil V. Murray Erik Rosenthal Reexamining Intractability of Tableau Methods. 52-59 1990 ISSAC http://doi.acm.org/10.1145/96877.96894 db/conf/issac/issac90.html#MurrayR90