TY - CHAP A1 - Paschke, Adrian A1 - Dietrich, Jens A1 - Giurca, Adrian A1 - Wagner, Gerd A1 - Lukichev, Sergey T1 - On Self-Validating Rule Bases Y1 - 2006 ER -