Logic Programming and Non-monotonic Reasoning Proceedings of the First International Workshop : [held July 1991, Washington, D.C.] by Luís Moniz Pereira | Menrva Books | MenrvaBooks