Books

Written Books

José Júlio Alferes and Luís Moniz Pereira, Reasoning with Logic Programming of LNAI 1111, Springer, Berlin, (url), 1996.

Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541