T.: Answer Set Solving (2012)

by M Gebser, R Kaminski, B Kaufmann, Schaub
Venue:in Practice. Morgan and Claypool Publishers