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
Citácia podle Chicago (17th ed.)Harland, James A., David J. Pym, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..