T. Eiter, K. Wang:
"Semantic Forgetting in Answer Set Programming";
Artificial Intelligence, 172 (2008), 14; S. 1644 - 1672.
http://dx.doi.org/10.1016/j.artint.2008.05.002Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_172430.pdf