Erik T. Mueller. Discrete Event Calculus with Branching Time. In Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. pages 126-131, AAAI, 2007. [doi]
@inproceedings{Mueller07-1, title = {Discrete Event Calculus with Branching Time}, author = {Erik T. Mueller}, year = {2007}, url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-022.php}, researchr = {https://researchr.org/publication/Mueller07-1}, cites = {0}, citedby = {0}, pages = {126-131}, booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007}, publisher = {AAAI}, }