Javier Álvez, Paqui Lucio. Equational Constraint Solving Via a Restricted Form of Universal Quantification. In Jürgen Dix, Stephen J. Hegner, editors, Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Volume 3861 of Lecture Notes in Computer Science, pages 2-21, Springer, 2006. [doi]