Semantic forgetting in answer set programming. (2008)

by T Eiter, K Wang
Venue:Artificial Intelligence