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