@会议记录{nagashima_et_al:OASIcs.WPTE.2014.27,author={Nagashima、Masanori和Kato、Tomofumi和Sakai、Masahiko和Nishida、Naoki},title={{反展开问题及其启发式求解}},booktitle={第一届程序转换和评估重写技术国际研讨会},页数={27--38},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-70-5},ISSN={2190-6807},年份={2014},体积={40},editor={Schmidt-Schau{\ss}、Manfred和Sakai、Masahiko和Sabel、David和Chiba、Yuki},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.27},URN={URN:nbn:de:0030-drops-45848},doi={10.4230/OASIcs.WPTE.2014.27},annote={关键词:程序转换,展开,条件项重写系统}}