par Bruyère, Véronique;Fievet, Baptiste;Raskin, Jean-François ;Tamines, Clément
Référence ACM transactions on computational logic, 25, 2, 14
Publication Publié, 2024-04-01
Référence ACM transactions on computational logic, 25, 2, 14
Publication Publié, 2024-04-01
Article révisé par les pairs