Nicola LeoneBooksLogic programming and nonmonotonic reasoningEsercizi SpiritualiLogics in Artificial IntelligencePractical Aspects of Declarative LanguagesAuthor data: Open Library