Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
Browse the full ICLP paper archive.