Horatiu Cirstea Claude Kirchner Luigi Liquori Matching Power. 77-92 2001 conf/rta/2001 RTA http://dx.doi.org/10.1007/3-540-45127-7_8 db/conf/rta/rta2001.html#CirsteaKL01