Claudio Castellini Automated Reasoning in Quantified Modal and Temporal Logics. 13-21 2005 2 Intelligenza Artificiale 4 db/journals/ia/ia2.html#Castellini05