APA (7th ed.) Citation

(2009). Logic-based program synthesis and transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers. Springer.

Chicago Style (17th ed.) Citation

Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2009.

MLA (9th ed.) Citation

Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; Revised Selected Papers. Springer, 2009.