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