ASP at Work: Spin-off and Applications of the DLV System.
G. Grasso, N. Leone, M. Manna, and F. Ricca. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 432-451. Springer, (2011)