Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems.

Rakesh M. Verma, I. V. Ramakrishnan

Browse the full ICALP paper archive.