APA (7th ed.) Citation

(2014). Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peą.

Chicago Style (17th ed.) Citation

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / Edited by Gopal Gupta, Ricardo Peą. 2014.

MLA (9th ed.) Citation

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / Edited by Gopal Gupta, Ricardo Peą. 2014.