@书籍{zbMATH07373360，编辑={Fern{\'a}ndez，Maribel}，标题={Logic-based program synthesis and transformation.第30届国际研讨会，{LOPSTR}2020，{博洛尼亚}，{意大利}，}2020年9月7-9日。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={12561}，国际标准图书编号={978-3-030-68445-7；978-3-0.30-68446-4}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-68446-4}，关键词={68-06,68N30,00B25}，zbMATH={7373360}，Zbl={1482.68019}}