An Engine for Computing Well-Founded Models

Terrance Swift. An Engine for Computing Well-Founded Models. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 514-518, Springer, 2009. [doi]

@inproceedings{Swift09,
  title = {An Engine for Computing Well-Founded Models},
  author = {Terrance Swift},
  year = {2009},
  doi = {10.1007/978-3-642-02846-5_45},
  url = {http://dx.doi.org/10.1007/978-3-642-02846-5_45},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Swift09},
  cites = {0},
  citedby = {0},
  pages = {514-518},
  booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
  editor = {Patricia M. Hill and David Scott Warren},
  volume = {5649},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02845-8},
}