@inproceedings{DBLP:conf/ismis/BruningS96, title = {A Model-Based Approach to Consistency-Checking}, author = {Br{\"{u}}ning, Stefan and Schaub, Torsten}, booktitle = {{ISMIS}}, pages = {315--324}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1079}, year = {1996} }