@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}
}