4 works on record
Logic programming and nonmonotonic reasoning
Logics in Artificial Intelligence
Practical Aspects of Declarative Languages
Esercizi Spirituali