Selected papers that cite this one
- Franz Baader and Klaus U. Schulz. Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science, 192(1):107-161, 10 February 1998.
- Hubert Comon, Marianne Haberstrau, and Jean-Pierre Jouannaud. Syntacticness, cycle-syntacticness, and shallow theories. Information and Computation, 111(1):154-191, 15 May 1994.