APA (7th ed.) Citation

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 Style (17th ed.) Citation

Harland, James A., David J. Pym, and 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 (9th ed.) Citation

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.