@收款{zbMATH06791219，作者={Amadini、Roberto和Flener、Pierre和Pearson、Justin和Scott、Joseph D.和Stuckey、Peter J.和Tack，Guido}，标题={{MiniZin}，带字符串}，BookTitle={Logic-based program synthesis and transformation.第26届国际研讨会，2016年LOPSTR，英国爱丁堡，2016年9月6-8日。修订选定论文}，国际标准图书编号={978-3-319-63138-7；978-3-3169-63139-4}，页码={59--75}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-319-63139-4_4}，关键词={68N15,68N20,68W32}，URL={hdl.handle.net/11343/241770}，zbMATH={6791219}，Zbl={1485.68027}}