Logic programming and non-monotonic reasoning by Luís Miguel Pereira | Menrva Books | MenrvaBooks