@inproceedings{PaschkeDietrichGiurcaetal.2011, author = {Adrian Paschke and Jens Dietrich and Adrian Giurca and Gerd Wagner and Sergey Lukichev}, title = {On Self-Validating Rule Bases}, year = {2011}, }