Congruence Closure with Integer Offsets.

Robert Nieuwenhuis, Albert Oliveras

Browse the full LPAR paper archive.