1. Baader, F., Snyder, W.: Unification Theory. Handbook of Automated Deduction, ch. 8. Springer, Berlin (2001)
2. Černá1, I., Klíma, O., Srba1, J.: On the Pattern Equations. FI MU Report Series, FIMU-RS-99-01 (1999)
3. Church, A.: Introduction to Mathematical Logic, vol. 1. Princeton University Press, Princeton (1956)
4. Cicchello, O., Kremer, S.C.: Inducing Grammars from Sparse Data Sets: A survey of Algorithms and Results. Journal of Machine Learning Research 4, 603–632 (2003)
5. Lecture Notes in Computer Science;S. Dzeroski,2000