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]
No references recorded for this publication.
No citations of this publication recorded.