A new criterion for

Davide Castelnovo, Fabio Gadducci, Marino Miculan

Browse the full FOSSACS paper archive.