Completion for Rewriting Modulo a Congruence

Leo Bachmair, Nachum Dershowitz. Completion for Rewriting Modulo a Congruence. Theoretical Computer Science, 67(2&3):173-201, 1989.

Abstract

Abstract is missing.

  翻译: