Neil V. Murray Erik Rosenthal Prime Implicates and Reduced Implicate Tries. 191-200 2009 ISMIS http://dx.doi.org/10.1007/978-3-642-04125-9_22 conf/ismis/2009 db/conf/ismis/ismis2009.html#MurrayR09