Cite
Computation paths logic: An expressive, yet elementary, process logic
MLA
Harel, D., and E. Singerman. “Computation Paths Logic: An Expressive, yet Elementary, Process Logic.” Annals of Pure and Applied Logic, vol. 96, no. 1–3, Jan. 1999, pp. 167–86. EBSCOhost, https://doi.org/10.1016/S0168-0072(98)00038-4.
APA
Harel, D., & Singerman, E. (1999). Computation paths logic: An expressive, yet elementary, process logic. Annals of Pure and Applied Logic, 96(1–3), 167–186. https://doi.org/10.1016/S0168-0072(98)00038-4
Chicago
Harel, D., and E. Singerman. 1999. “Computation Paths Logic: An Expressive, yet Elementary, Process Logic.” Annals of Pure and Applied Logic 96 (1–3): 167–86. doi:10.1016/S0168-0072(98)00038-4.