玛丽亚·保拉·博纳西纳 Mnacho Echenim公司 T-分解决策。 199-214 2007 conf/cade/2007年 CADE公司 https://doi.org/10.1007/978-3-540-73595-3_14 db/conf/cade/cade2007.html#BonacinaE07