Dimitar P. Guelev. A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. Journal of Logic and Computation, 18(4):615-623, 2008. [doi]
@article{Guelev08,
title = {A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic},
author = {Dimitar P. Guelev},
year = {2008},
doi = {10.1093/logcom/exn002},
url = {http://dx.doi.org/10.1093/logcom/exn002},
tags = {logic},
researchr = {https://researchr.org/publication/Guelev08},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {18},
number = {4},
pages = {615-623},
}