纪尧姆·邦芬特 布鲁诺·纪尧姆 非简化图重写终止 术语表 2013 4-16 https://doi.org/10.4204/EPTCS.110.3 http://arxiv.org/abs/1302.6334 日记账/corr/abs-1302-5997 db/series/eptcs/eptcs110.html#abs-1302-6334