Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Browse the full ICLP paper archive.