par Gorla, Elisa;Mueller, Daniela;Petit, Christophe
Référence Journal of symbolic computation
Publication Publié, 2020-04-01
Article révisé par les pairs