1. Lecture Notes in Computer Science;H Aït-Kaci,2018
2. Mathematics in Science and Engineering;D Dubois,1980
3. Formato, F., Gerla, G., Sessa, M.I.: Extension of logic programming by similarity. In: Meo, M.C., Ferro, M.V. (eds.) 1999 Joint Conference on Declarative Programming, AGP 1999, L’Aquila, Italy, 6–9 September 1999, pp. 397–410 (1999)
4. Formato, F., Gerla, G., Sessa, M.I.: Similarity-based unification. Fundam. Inform. 41(4), 393–414 (2000)
5. Julián-Iranzo, P., Rubio-Manzano, C.: Proximity-based unification theory. Fuzzy Sets Syst. 262, 21–43 (2015)