APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

Wijesekera, Duminda, und 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-Zitierstil (9. Ausg.)

Wijesekera, Duminda, und 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.