Strategies for Consistency Checking
Howard Bowman, Eerke Boiten, John Derrick, Maarten W. A. Steen · Kent Academic Repository (University of Kent) · 1995
This report describes an initial framework for consistency checking. The report is intended as a companion to the work presented in [1] and it should be read in association with this document. In particular, the body of this report is a single chapter which should be viewed as additional to the chapters included in [1]. This report contains complete proofs of all relevant results, even though some of the results are obvious and some of the proofs are trivial. A much compressed version of the report is being submitted for publication [2]. Thus, the main value of this report is as a reference document for readers who require a complete presentation of the technical issues surrounding the framework presented in [2].