Areces Carlos 1 AuthorId : 59465 Author
Balder ten Cate AuthorId : 135881 Author
Computer Science [cs] / Logic in Computer Science [cs.LO]
INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2