José Luiz Fiadeiro Amílcar Sernadas The INFOLOG linear tense propositional logic of events and transactions. 61-85 1986 11 Inf. Syst. 1 db/journals/is/is11.html#FiadeiroS86