@article{2006, title={高階書換え系の停止性のための代数モデル}, author={浜名 誠}, journal={コンピュータ ソフトウェア}, volume={23}, number={2}, pages={2_142-2_156}, year={2006}, doi={10.11309/jssst.23.2_142} }