@INPROCEEDINGS{JS18a, 
    author={P. Juli\'an-Iranzo and F. S\'aenz-P\'erez}, 
    booktitle={2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)}, 
    title={An Efficient Proximity-based Unification Algorithm}, 
    year={2018}, 
    volume={}, 
    number={}, 
    pages={441--448}, 
    keywords={PROLOG;deductive databases;fuzzy set theory;logic programming;query processing;Bousi~Prolog;DES tabled-based implementation;fuzzy deductive database system;fuzzy logic programming system;fuzzyDES;query answering system;rule compiling;t-closure computing;Approximation algorithms;Database languages;Deductive databases;Power line communications;Superluminescent diodes;Syntactics}, 
    month={July},}