@article{BrueningSchaub1996,
  author    = {Stefan Br{\"u}ning and Torsten H. Schaub},
  title     = {A model-based approach to consistency-checking},
  year      = {1996},
}