Your search returned the following 3 documents:

3. Buchberger's algorithm: a constraint-based completion procedure
   Leo Bachmair and Harald Ganzinger
   In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), Munich, Germany, September 7-9, 1994, 1994, 285-301
   
2. Simplifying Clausal Satisfiability Problems
   Peter Barth
   In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), Munich, Germany, September 7-9, 1994, 1994, 19-33
   
1. Solving Simplificating Ordering Constraints
   Patricia Johann and Rolf Socher-Ambrosius
   In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), Munich, Germany, September 7-9, 1994, 1994, 352-367