Combination of Constraint Solving Techniques: An Algebraic Point of View (0)

by Franz Baader , Klaus U. Schulz
Venue:In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science
Citations:16 - 7 self