Reasoning with Logic Programming by Luís Miguel Pereira | Menrva Books | MenrvaBooks