Towards More Precise Rewriting Approximations.

Yohan Boichut, Jacques Chabin, Pierre Rty

Browse the full LATA paper archive.