Journal of Applied Logic15079 (ISSN : 1570-8683)Published by Elsevierhttps://www.journals.elsevier.com/journal-of-applied-logicSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF