Mark Grundy Toward an Efficient Tableau Metaprover (Extended Abstract). 29-31 1992 TABLEAUX db/conf/tableaux/tableaux92.html#Grundy92