Hermenegildo, M. V., & Lopez-Garcia, P. (2017). Logic-based program synthesis and transformation: 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Hermenegildo, Manuel V., und Pedro Lopez-Garcia. Logic-based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : Revised Selected Papers. Cham: Springer, 2017.
MLA-Zitierstil (9. Ausg.)Hermenegildo, Manuel V., und Pedro Lopez-Garcia. Logic-based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : Revised Selected Papers. Springer, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.