@第{BSMF_1996__124_2_329_0条,author={Moss\'e,Brigitte},title={替换和复杂套件自动化的可识别性},journal={法国社会数学公报},页数={329--346},publisher={Soci\'et\'e math\'ematique de France},体积={124},数字={2},年份={1996},doi={10.24033/bsmf.2283},mrnumber={97k:11030},zbl={0855.68072},语言={fr},url={http://www.numdam.org/articles/10.24033/bsmf.2283/}}