clasp: A Conflict-Driven Answer Set Solver Chapter

authors

Gebser, Martin

publication date

June 5, 2007

has subject area

published in

Springer eBooks

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-540-72200-7_23

start page

260

end page

265