Off-Line and On-Line Algorithms for Deducing Equalities.

Peter J. Downey, Hanan Samet, Ravi Sethi

Browse the full POPL paper archive.