D. A. de Waal;J. P. Gallagher
-;-
Semantic forgetting in answer set programming
Artificial Intelligence