Claudio Bettini Review - Temporal Logic in Information Systems. 2000 2 ACM SIGMOD Digital Review db/journals/dr/dr2.html#Bettini00c db/journals/dr/Bettini00c.html conf/dagstuhl/ChomickiT98 conf/edbt/BohlenCST96 conf/dood/Toman97 journals/tods/Chomicki95 journals/tkde/BettiniWJ98 phd/Montanari96