Journal of Logic and Algebraic Programming15702 (ISSN : 1567-8326)Published by ElsevierSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF