Donald NuteBooksProlog Programming in DepthDefeasible Deontic LogicTopics in Conditional LogicDeontic Logic in Computer ScienceAuthor data: Open Library