Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich: RIO: Minimizing User Interaction in Debugging of Knowledge Bases. CoRR abs/1302.2465 (2013)