@InCollection{zbMATH06863506，作者={Jaber、Guilhem和Lewertowski、Gabriel和P{'e}drot、Pierre-Marie和Sozeau、Matthieu和Tabareau、Nicolas}，标题={强制}的定义方面，BookTitle={2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5日至8日，美国纽约市，LICS 2016，国际标准图书编号={978-1-4503-4391-6}，页码={367--376}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2933575.2935320}，关键词={68N18,03B40,03E40,03G30,68N30,68T15}，zbMATH={6863506}，Zbl={1394.68063}}