Marcel Ball Robert C. Holte The Compression Power of Symbolic Pattern Databases. 2-11 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#BallH08