M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for CoRR - Computing Research Repository; Report No. arXiv:1006.3021v1, 2010; 32 pages.
http://arxiv.org/abs/1006.3021
Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems