卢西安·维希克 菲利普·加德纳 明确融合。 606-630 2005 340 西奥。计算。科学。 三 https://doi.org/10.1016/j.tcs.2005.03.017 db/journals/tcs/tcs340.html#WischikG05