Logic programming and non-monotonic reasoning by Anil Nerode | Menrva Books | MenrvaBooks