J. Log. Comput.130768 (ISSN : 1465-363X)Published by Oxford AcademicSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF