Solved Forms for Path Ordering Constraints (1999)

Cached

Download Links

by Robert Nieuwenhuis , José Miguel Rivero
Venue:in `In Proc. 10th International Conference on Rewriting Techniques and Applications (RTA
Citations:11 - 4 self