文森特·阿拉万提诺斯 Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 一阶图式的分解演算。 101-133 2013 125 芬丹。信息学 2 https://doi.org/10.3233/FI-2013-855 db/journals/fuin/fuin125.html#AravantinosEP13