Consistency Checking in an Infrastructure for Large-Scale Generative

@inproceedings{Rauschmayer-al:ASE04,
  author    = {Axel Rauschmayer and
               Alexander Knapp and
               Martin Wirsing},
  title     = {Consistency Checking in an Infrastructure for {Large-Scale} Generative},
  booktitle = {ASE},
  pages     = {238--247},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}