Valentin Zacharias Andreas Abecker Explorative Debugging for Rapid Rule Base Development. 2007 SFSW http://ceur-ws.org/Vol-248/paper3.pdf conf/esws/2007sfsw db/conf/esws/sfsw2007.html#ZachariasA07