Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang. Forgetting in Logic Programs under Strong Equivalence. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]
@inproceedings{WangZZZ12-0, title = {Forgetting in Logic Programs under Strong Equivalence}, author = {Yisong Wang and Yan Zhang and Yi Zhou and Mingyi Zhang}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4389}, researchr = {https://researchr.org/publication/WangZZZ12-0}, cites = {0}, citedby = {0}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, publisher = {AAAI Press}, isbn = {978-1-57735-560-1}, }