Semantic forgetting in answer set programming (2008)

by T Eiter, K Wang
Venue:Artificial Intelligence