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