G. Brewka, I. Niemelä, T. Schaub, und M. Truszczynski. Nonmonotonic Reasoning, Answer Set Programming and Constraints, Volume 05171 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
G. Brewka, I. Niemelä, T. Schaub, M. Truszczynski, und J. Vennekens. Nonmonotonic Reasoning, Answer Set Programming and Constraints, Volume 05171 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)