1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JM Almendros-Jiménez,2015
2. Almendros-Jiménez, J.M., Luna, A., Moreno, G.: Fuzzy XPath through fuzzy logic programming. New Gener. Comput. 33(2), 173–209 (2015)
3. Ansótegui, C., Bofill, M., Manyà, F., Villaret, M.: Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers. In: Proceeding of ISMVL 2012, pp. 25–30 (2012)
4. Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. Wiley, New York (1995)
5. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, 185, pp. 825–885. IOS Press (2009)