3 works on record
Answer Set Solving in Practice
Logics in Artificial Intelligence
Practical Aspects of Declarative Languages