Ann Pure Appl Logic - Annals of Pure and Applied Logic10502 (ISSN : 0168-0072)Published by Elsevier MassonSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF