J.G. McGuire

Uncovering redundancy and rule-inconsistency in knowledge bases via deduction

J.G. McGuire, 1990, Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security..