APA (7th ed.) Citation

LOPSTR (Symposium) Venice, Italy), SpringerLink (Online service), & Puebla, G. (2007). Logic-based program synthesis and transformation: 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers. Springer. https://doi.org/10.1007/978-3-540-71410-1

Chicago Style (17th ed.) Citation

LOPSTR (Symposium) Venice, Italy), SpringerLink (Online service), and Germán Puebla. Logic-based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : Revised Selected Papers. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-71410-1.

MLA (9th ed.) Citation

LOPSTR (Symposium) Venice, Italy), et al. Logic-based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : Revised Selected Papers. Springer, 2007. https://doi.org/10.1007/978-3-540-71410-1.