Nicolas Troquard 1AuthorPersonId : 972110
Daniele PorelloAuthor
Computer Science [cs] / Logic in Computer Science [cs.LO]
UPEC-UPEM | LACL | UPEC