APA-Zitierstil (7. Ausg.)

Harland, J. A., Pym, D. J., & Winikoff, M. (2000). Forward and Backward Chaining in Linear Logic (Extended Abstract). Electronic notes in theoretical computer science, 37, 1-16. https://doi.org/10.1016/S1571-0661(05)01136-9

Chicago-Zitierstil (17. Ausg.)

Harland, James A., David J. Pym, und Michael Winikoff. "Forward and Backward Chaining in Linear Logic (Extended Abstract)." Electronic Notes in Theoretical Computer Science 37 (2000): 1-16. https://doi.org/10.1016/S1571-0661(05)01136-9.

MLA-Zitierstil (9. Ausg.)

Harland, James A., et al. "Forward and Backward Chaining in Linear Logic (Extended Abstract)." Electronic Notes in Theoretical Computer Science, vol. 37, 2000, pp. 1-16, https://doi.org/10.1016/S1571-0661(05)01136-9.