APA (7th ed.) Citation

Wijesekera, D., & Nerode, A. (2005). Tableaux for constructive concurrent dynamic logic. Annals of pure and applied logic, 135(1), 1-72. https://doi.org/10.1016/j.apal.2004.12.001

Chicago Style (17th ed.) Citation

Wijesekera, Duminda, and Anil Nerode. "Tableaux for Constructive Concurrent Dynamic Logic." Annals of Pure and Applied Logic 135, no. 1 (2005): 1-72. https://doi.org/10.1016/j.apal.2004.12.001.

MLA (9th ed.) Citation

Wijesekera, Duminda, and Anil Nerode. "Tableaux for Constructive Concurrent Dynamic Logic." Annals of Pure and Applied Logic, vol. 135, no. 1, 2005, pp. 1-72, https://doi.org/10.1016/j.apal.2004.12.001.