M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Bericht für CoRR - Computing Research Repository; Berichts-Nr. arXiv:1006.3021v1, 2010; 32 S.
http://arxiv.org/abs/1006.3021
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems