A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach.

Pedro Meseguer

Browse the full ECAI paper archive.