APA (7th ed.) Citation

International Conference on Logic Programming Porto, Portugal, SpringerLink (Online service), Dahl, V., & Niemelä, I. (2007). Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-74610-2

Chicago Style (17th ed.) Citation

International Conference on Logic Programming Porto, Portugal, SpringerLink (Online service), Veronica Dahl, and Ilkka Niemelä. Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; Proceedings. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-74610-2.

MLA (9th ed.) Citation

International Conference on Logic Programming Porto, Portugal, et al. Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-74610-2.