Semantic forgetting in answer set programming (0)

by Thomas Eiter, Kewen Wang
Venue:Artificial Intelligence