Tool Support for Finding and Preventing Faults in Rule Bases
Short (German) Overview Presentation
Actual Document
Also available
here
.