%0 Journal Article %1 journals/is/FiadeiroS86 %A Fiadeiro, José Luiz %A Sernadas, Amílcar %D 1986 %J Inf. Syst. %K dblp %N 1 %P 61-85 %T The INFOLOG linear tense propositional logic of events and transactions. %U http://dblp.uni-trier.de/db/journals/is/is11.html#FiadeiroS86 %V 11

@article{journals/is/FiadeiroS86, added-at = {2011-08-25T00:00:00.000+0200}, author = {Fiadeiro, José Luiz and Sernadas, Amílcar}, biburl = {https://www.bibsonomy.org/bibtex/2aa36c0d0936143bfc584db5d6fc9a7ba/dblp}, ee = {http://dx.doi.org/10.1016/0306-4379(86)90023-2}, interhash = {8e4b5751f77faa3ba9eacacae6644177}, intrahash = {aa36c0d0936143bfc584db5d6fc9a7ba}, journal = {Inf. Syst.}, keywords = {dblp}, number = 1, pages = {61-85}, timestamp = {2011-08-26T11:33:57.000+0200}, title = {The INFOLOG linear tense propositional logic of events and transactions.}, url = {http://dblp.uni-trier.de/db/journals/is/is11.html#FiadeiroS86}, volume = 11, year = 1986 }