G. Brewka, I. Niemelä, T. Schaub, M. Truszczynski, and J. Vennekens. Nonmonotonic Reasoning, Answer Set Programming and Constraints, volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
G. Brewka, I. Niemelä, T. Schaub, and M. Truszczynski. Nonmonotonic Reasoning, Answer Set Programming and Constraints, volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
P. Niemelä, A. Valmari, and S. Ali-Löytty. CSEDU (Selected Papers), volume 1022 of Communications in Computer and Information Science, page 357-383. Springer, (2018)