Areces Carlos 1 AuthorId : 59465 Author
Eva Hoogland AuthorId : 135906 Author
Dick de Jongh AuthorId : 135907 Author
Computer Science [cs] / Logic in Computer Science [cs.LO]
INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2