Neil V. Murray Erik Rosenthal Reduced Implicate/Implicant Tries. 203-214 2008 ISMIS http://dx.doi.org/10.1007/978-3-540-68123-6_23 conf/ismis/2008 db/conf/ismis/ismis2008.html#MurrayR08