Olga Heling-Tveretina Gregory M. Provan On Approximate Knowledge Compilation with Weighted Decision Diagrams. 470-475 2007 conf/icai/2007-2 IC-AI db/conf/icai/icai2007-2.html#Heling-TveretinaP07