APA (7th ed.) Citation

Ancona, D., Dagnino, F., & Zucca, E. (2017). Extending Coinductive Logic Programming with Co-Facts. Electronic proceedings in theoretical computer science, 258(Proc. CoALP-Ty 2016), 1-18. https://doi.org/10.4204/EPTCS.258.1

Chicago Style (17th ed.) Citation

Ancona, Davide, Francesco Dagnino, and Elena Zucca. "Extending Coinductive Logic Programming with Co-Facts." Electronic Proceedings in Theoretical Computer Science 258, no. Proc. CoALP-Ty 2016 (2017): 1-18. https://doi.org/10.4204/EPTCS.258.1.

MLA (9th ed.) Citation

Ancona, Davide, et al. "Extending Coinductive Logic Programming with Co-Facts." Electronic Proceedings in Theoretical Computer Science, vol. 258, no. Proc. CoALP-Ty 2016, 2017, pp. 1-18, https://doi.org/10.4204/EPTCS.258.1.