Rainer Knauf Ilka Philippow Avelino J. Gonzalez Klaus P. Jantke Towards Validation of Rule-Based Systems - The Loop is Closed. 331-335 2000 conf/flairs/2000 FLAIRS Conference db/conf/flairs/flairs2000.html#KnaufPGJ00 http://www.aaai.org/Library/FLAIRS/2000/flairs00-062.php