@inproceedings{cheng+etal:2006,
  author    = {Fu-Leung Cheng and
               Thomas Eiter and
               Nathan Robinson and
               Abdul Sattar and
               Kewen Wang},
  title     = {{LPForget}: A System of Forgetting in Answer Set Programming},
  booktitle = {Proceedings of AI 2006: Advances in Artificial Intelligence, 
               19th Australian Joint Conference on Artificial Intelligence, 
               Hobart, Australia, December 4-8, 2006},
  year      = {2006},
  pages     = {1101-1105},
  url       = {http://nathanrobinson.info/publications/AI_2006_Cheng.pdf}
}