Context matching for compressed terms (2008)

by A Gascón, G Godoy, M Schmidt-Schauß
Venue:In 23rd IEEE LICS