Context Matching for Compressed Terms.

Adri Gascn, Guillem Godoy, Manfred Schmidt-Schau

Browse the full LICS paper archive.