Thomas Eiter Kewen Wang Semantic forgetting in answer set programming. 1644-1672 2008 172 Artif. Intell. 14 http://dx.doi.org/10.1016/j.artint.2008.05.002 db/journals/ai/ai172.html#EiterW08