APA (7th ed.) Citation

GUELEV, D. P. (2008). A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. Journal of Logic & Computation, 18(4), 615.

Chicago Style (17th ed.) Citation

GUELEV, DIMITAR P. "A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic." Journal of Logic & Computation 18, no. 4 (2008): 615.

MLA (9th ed.) Citation

GUELEV, DIMITAR P. "A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic." Journal of Logic & Computation, vol. 18, no. 4, 2008, p. 615.