APA (7th ed.) Citation

(2002). Logic based program synthesis and transformation: 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers. Springer. https://doi.org/10.1007/3-540-45607-4

Chicago Style (17th ed.) Citation

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; Selected Papers. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2002. https://doi.org/10.1007/3-540-45607-4.

MLA (9th ed.) Citation

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; Selected Papers. Springer, 2002. https://doi.org/10.1007/3-540-45607-4.