Ilan Beer Shoham Ben-David Hana Chockler Avigail Orni Richard J. Trefler Explaining Counterexamples Using Causality. 94-108 2009 CAV http://dx.doi.org/10.1007/978-3-642-02658-4_11 conf/cav/2009 db/conf/cav/cav2009.html#BeerBCOT09