APA Citation

Babenyshev, S., & Rybakov, V. (2011). Linear Temporal Logic LTL: Basis for Admissible Rules. Journal of Logic and Computation, 21(2), 157-177. doi:10.1093/logcom/exq020

MLA Citation

Babenyshev, S., and V. Rybakov. "Linear Temporal Logic LTL: Basis for Admissible Rules". Journal of Logic and Computation, 21.2 (2011): 157-177.

Remember to check citations for accuracy before including them in your work.