Matching Power (2001)

by H Cirstea, C Kirchner, L Liquori
Venue:In Proc. of RTA, volume 2051 of LNCS