@InCollection{zbMATH06083555，作者={Madhusudan，Parthasarathy}，标题＝{综合反应程序}，BookTitle={计算机科学逻辑（CSL’11）。第25届国际研讨会，EACSL第20届年会，挪威卑尔根，2011年9月12-15日。}，国际标准图书编号={978-3-939897-32-3}，页码={428--442}，年份={2011}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.CSL.2011.428}，关键词={68N30,68Q45}，URL={subs.emis.de/LIPIcs/frontdoor_f3c0.html}，zbMATH={6083555}，Zbl={1247.68058}}