@book{63bb35824d944e8b943959f21abd991b,
title = "Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017",
abstract = "Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.",
keywords = "Logic, Program development, Program transformation",
editor = "Fabio Fioravanti and Gallagher, {John Patrick} and Maurizio Proietti",
note = "Special issue of Fundamenta Informaticae, vol. 173, no. 4, 2020",
year = "2020",
language = "English",
series = "Fundamenta Informaticae",
publisher = "Societatis Mathematicae Polonae",
number = "4",
}