tsatsoul@pur-ee.UUCP (C Tsatsoulis) (09/12/85)
I would appreciate any reference information that could be sent to me about theoretical and practical methods of checking for rule and knowledge bases' consistency. I am aware of the ONCOCIN system and methods involving Petri Net representation. Thank you, Costas Tsatsoulis {ihnp4!pur-ee!tsatsoul}