APA (7th ed.) Citation

SpringerLink (Online service), Mesnard, F., & Stuckey, P. J. (2019). Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (1st ed. 2019.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-030-13838-7

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Fred Mesnard, and Peter J. Stuckey. Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. 1st ed. 2019. Cham: Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-13838-7.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. 1st ed. 2019. Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-13838-7.