@会议记录{jouannaud_et_al：LIPIcs.CSL.2012.350，author={Jouannaud，Jean-Pierre和Li，Jianqi}，title＝{正常重写的Church-Roser性质}}，booktitle={计算机科学逻辑（CSL’12）-第26届国际研讨会/第21届EACSL年会}，页数={350--365}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-42-2}，ISSN={1868-8969}，年份={2012}，体积={16}，编辑器={C\'{e} 吉尔斯基、Patrick和Durand、Arnaud}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.350},URN={URN:nbn:de:0030-drops-36839}，doi={10.4230/LIPIcs.CSL.2012.350}，annote={Keywords:抽象标准重写，Church-Rosser属性}}
