Inference Control in Logic Databases as a Constraint Satisfaction Problem. - Joachim Biskup; Dominique Marc Burgard; Torben Weibert; Lena Wiese (ICISS, 2007)