Transformation-Based Bottom-Up Computation of the Well-Founded Model

Stefan Brass, Ulrich Zukowski, Burkhard Freitag. Transformation-Based Bottom-Up Computation of the Well-Founded Model. In Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming, NMELP 96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers. Volume 1216 of Lecture Notes in Computer Science, pages 171-201, Springer, 1996.

@inproceedings{BrassZF96,
  title = {Transformation-Based Bottom-Up Computation of the Well-Founded Model},
  author = {Stefan Brass and Ulrich Zukowski and Burkhard Freitag},
  year = {1996},
  tags = {model-to-model transformation, rule-based, meta-model, source-to-source, model transformation, peer-to-peer, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/BrassZF96},
  cites = {0},
  citedby = {0},
  pages = {171-201},
  booktitle = {Non-Monotonic Extensions of Logic Programming, NMELP  96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers},
  editor = {Jürgen Dix and Luís Moniz Pereira and Teodor C. Przymusinski},
  volume = {1216},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62843-6},
}