3 works on record
Logics in Artificial Intelligence
Practical Aspects of Declarative Languages
Logic Programming and Nonmonotonic Reasoning