@inproceedings{Schlimmer91,
  title = {Learning Meta Knowledge for Database Checking},
  author = {Jeffrey C. Schlimmer},
  year = {1991},
  tags = {model checking, meta-model, C++, database, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Schlimmer91},
  cites = {0},
  citedby = {0},
  pages = {335-340},
  booktitle = {AAAI},
}