A Model-Based Approach to Consistency-Checking.

Stefan Brning, Torsten Schaub

Browse the full ISMIS paper archive.