Answer set solving in practice
Home
News
Support
Resources
About
Resources
Course
material
until 2019
Our open
BiBTeX
bibliography