Journal of Logic and Algebraic Methods in Programming117713 (ISSN : 2352-2208)Published by ElsevierSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF