1. Álvez, J., López-Fraguas, F.J.: A complete axiomatization of strict equality over infinite trees. Technical Report SIC-3-09, UCM, Madrid (2009),
http://gpd.sip.ucm.es/fraguas/papers/TR_SIC_3_09.pdf
2. Lecture Notes in Computer Science;P. Arenas-Sánchez,1994
3. Arias, E.J.G., Mariño-Carballo, J., Poza, J.M.R.: A proposal for disequality constraints in Curry. Electr. Notes Theor. Comput. Sci. 177, 269–285 (2007)
4. Colmerauer, A.: Equations and inequations on finite and infinite trees. In: Clark, K.L., Tärnlund, S.A. (eds.) FGCS 1984, pp. 85–99 (1984)
5. Comon, H., Lescanne, P.: Equational problems and disunification. Journal of Symbolic Computation 7(3/4), 371–425 (1989)