1. Álvez, J., Lucio, P.: Equational constraint solving using quasi-solved forms. In: Proceedings of the 18th International Workshop on Unification (UNIF 2004), Cork, Ireland, June 5 (2004)
2. Baumgartner, P., Stenz, G.: Instance based methods. In: Tutorial T3.- 2nd Int. Joint Conf. on Automated Reasoning, IJCAR 2004, Cork, Ireland (2004)
3. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
4. Buntine, W.L., Bürckert, H.-J.: On solving equations and disequations. Journal of the ACM 41(4), 591–629 (1994)
5. Lecture Notes in Computer Science;R. Caferra,1991