Francesco Pagliarecci Semantics of Alan. 14-25 2006 STAIRS conf/stairs/2006 db/conf/stairs/stairs2006.html#Pagliarecci06