A casual semantics for Logic Programming

Aquesta tesi apareix a les col·leccions següents