Useful Transformations in Answer set programming

Mauricio Osorio, Juan Carlos Nieves, Chris Giannella. Useful Transformations in Answer set programming. In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]

@inproceedings{OsorioNG01,
  title = {Useful Transformations in Answer set programming},
  author = {Mauricio Osorio and Juan Carlos Nieves and Chris Giannella},
  year = {2001},
  url = {http://www.cs.nmsu.edu/~tson/ASP2001/21.ps},
  tags = {programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/OsorioNG01},
  cites = {0},
  citedby = {0},
  booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001},
  editor = {Alessandro Provetti and Tran Cao Son},
}