Neil V. Murray Erik Rosenthal Efficient Query Processing with Compiled Knowledge Bases. 231-244 2005 conf/tableaux/2005 TABLEAUX http://dx.doi.org/10.1007/11554554_18 db/conf/tableaux/tableaux2005.html#MurrayR05