Andrea Ferrara Paolo Liberatore Marco Schaerf Model Checking and Preprocessing. 48-59 2007 conf/aiia/2007 AI*IA http://dx.doi.org/10.1007/978-3-540-74782-6_6 db/conf/aiia/aiia2007.html#FerraraLS07