Final report edited by Natasha Noy and Deborah McGuinness.
Report Section 2.4.2, Advances in satisfiability and answer set programming, authored by Yuliya Lierer, UNO faculty member.
Noy, Natasha; McGuinness, Deborah; and Lierler, Yuliya, "Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming" (2013). Computer Science Faculty Proceedings & Presentations. 29.