菲利普·加德纳 卢西安·维希克 明确融合。 373-382 https://doi.org/10.1007/3-540-44612-5_33 2000 conf/mfcs/2000 MFCS公司 db/conf/mfcs/mfcs2000.html#GardnerW00