Stem oppen$ (all stems)
- IJCAR-2006-BonacinaGNRZ #decidability
- Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures (MPB, SG, EN, SR, DZ), pp. 513–527.
- CADE-1997-BaaderT #approach #problem #word
- A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (FB, CT), pp. 19–33.