Completion for rewriting modulo a congruence
- Leo Bachmair*
- , Nachum Dershowitz
*Corresponding author for this work
- Stony Brook University
- University of Illinois at Urbana-Champaign
Research output: Contribution to journal › Article › peer-review
57
Scopus
citations