Submitted to 'Annals of Pure and Applied Logic'422664Voir les documents associés Exporter Export XML Export RDF