Laurent Théry 1 AuthorId : 172657 Correspondent author IdHAL : laurent-thery ORCID : https://orcid.org/0000-0001-5015-3791
Computer Science [cs] / Logic in Computer Science [cs.LO]
INRIA