Verification of rule-based knowledge using directed graphs - Nazareth, DL; Kennedy, MH (Knowl Acquisition, 1991)