par Le Roux, Stephane ;Pauly, Arno
Référence Logical methods in computer science, 11, 4
Publication Publié, 2015-12
Article révisé par les pairs