@article(FA02,
 author       = "F. Arcelli",
 year         = "2002",
 title        = "Likelog for flexible query answering",
 journal      = "Soft Computing",
 volume       = "7",
 number       = "2",
 pages        = "107--114",
 url          = "http://dx.doi.org/10.1007/s00500-002-0178-6",
)
@inproceedings(FF99,
 author       = "F. Arcelli and F. Formato",
 year         = "1999",
 title        = "Likelog: A Logic Programming Language for Flexible Data Retrieval",
 booktitle    = "Proc. of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas",
 pages        = "260--267",
 url          = "http://dx.doi.org/10.1145/298151.298348",
)
@article(FF02,
 author       = "F. Arcelli and F. Formato",
 year         = "2002",
 title        = "A similarity-based resolution rule.",
 journal      = "International Journal of Intelligent Systems",
 volume       = "17",
 number       = "9",
 pages        = "853--872",
 url          = "http://dx.doi.org/10.1002/int.10067",
)
@inproceedings(FFG96,
 author       = "F. Arcelli and F. Formato and G. Gerla",
 year         = "1996",
 title        = "Similitude-based unification as a foundation of fuzzy logic programming",
 booktitle    = "Proc. of Int. Workshop of Logic Programming and Soft Computing, Bonn",
)
@inproceedings(CRR08,
 author       = "R. Caballero and M. Rodr\'{\i }guez-Artalejo and C. A. Romero-D\'{\i }az",
 year         = "2008",
 title        = "Similarity-based reasoning in qualified logic programming",
 booktitle    = "Proc. of the 10th Int. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",
 series       = "PPDP'08",
 publisher    = "ACM",
 address      = "New York, USA",
 pages        = "185--194",
 url          = "http://dx.doi.org/10.1145/1389449.1389472",
)
@article(CRR14TPLP,
 author       = "R. Caballero and M. Rodr\'{\i }guez-Artalejo and C. A. Romero-D\'{\i }az",
 year         = "2014",
 title        = "A Transformation-based implementation for CLP with qualification and proximity",
 journal      = "Theory and Practice of Logic Programming",
 volume       = "14",
 number       = "1",
 pages        = "1--63",
 url          = "http://dx.doi.org/10.1017/S1471068412000014",
)
@article(Emd86,
 author       = "M. H. van Emden",
 year         = "1986",
 title        = "Quantitative Deduction and its Fixpoint Theory",
 journal      = "Journal of Logic Programming",
 volume       = "3",
 number       = "1",
 pages        = "37--53",
 url          = "http://dx.doi.org/10.1016/0743-1066(86)90003-8",
)
@inproceedings(FGS99,
 author       = "F. Formato and G. Gerla and M. I. Sessa",
 year         = "1999",
 title        = "Extension of Logic Programming by Similarity.",
 booktitle    = "Proc. of 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy",
 pages        = "397--410",
)
@article(FGS00,
 author       = "F. Formato and Giangiacomo Gerla and Maria I. Sessa",
 year         = "2000",
 title        = "Similarity-based Unification.",
 journal      = "Fundamenta Informaticae",
 volume       = "41",
 number       = "4",
 pages        = "393--414",
 url          = "http://dx.doi.org/10.3233/FI-2000-41402",
)
@inproceedings(JMP09IWANN,
 author       = "P. Juli{\'a}n and G. Moreno and J. Penabad",
 year         = "2009",
 title        = "On the Declarative Semantics of Multi-Adjoint Logic Programs",
 booktitle    = "Proc. of 10th Int. Work-Conference on Artificial Neural Networks (Part I), IWANN'09",
 publisher    = "Lectures Notes in Computer Science, 5517, Springer Verlag",
 pages        = "253--260",
 url          = "http://dx.doi.org/10.1007/978-3-642-02478-8_32",
)
@inproceedings(JR09PPDP,
 author       = "P. Juli{\'a}n-Iranzo and C. Rubio-Manzano",
 year         = "2009",
 title        = "A declarative semantics for Bousi$\sim $Prolog",
 booktitle    = "Proc. of 11th Int. ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09, Coimbra, Portugal",
 publisher    = "ACM",
 pages        = "149--160",
 url          = "http://doi.acm.org/10.1145/1599410.1599430",
)
@inproceedings(JR09IWANN,
 author       = "P. Juli{\'a}n-Iranzo and C. Rubio-Manzano",
 year         = "2009",
 title        = "A Similarity-Based WAM for {B}ousi$\sim ${P}rolog",
 editor       = "J. Cabestany et al.",
 booktitle    = "Proc. of 10th Int. Work-Conference on Artificial Neural Networks, IWANN'09, Part I, Salamanca, Spain, 2009",
 series       = "Lecture Notes in Computer Science",
 volume       = "5517",
 publisher    = "Springer",
 pages        = "245--252",
 url          = "http://dx.doi.org/10.1007/978-3-642-02478-8_31",
)
@inproceedings(JR10FUZZIEEE,
 author       = "P. Juli{\'a}n-Iranzo and C. Rubio-Manzano",
 year         = "2010",
 title        = "An efficient fuzzy unification method and its implementation into the Bousi$\sim $Prolog system",
 booktitle    = "Proc. of the 2010 IEEE Int. Conference on Fuzzy Systems",
 pages        = "1--8",
 url          = "http://dx.doi.org/10.1109/FUZZY.2010.5584193",
)
@inproceedings(JR11IWANN,
 author       = "P. Juli{\'a}n-Iranzo and C. Rubio-Manzano",
 year         = "2011",
 title        = "{A Sound Semantics for a Similarity-Based Logic Programming Language}",
 booktitle    = "Proc. of 11th Int. Work-Conference on Artificial Neural Networks, IWANN'11, Part II, Torremolinos, M{\'a}laga, Spain, 2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "6692",
 publisher    = "Springer",
 pages        = "421--428",
 url          = "http://dx.doi.org/10.1007/978-3-642-21498-1_53",
)
@article(JRG09ENTCS,
 author       = "P. Juli{\'a}n-Iranzo and C. Rubio-Manzano and J. Gallardo-Casero",
 year         = "2009",
 title        = "Bousi$\sim $Prolog: a Prolog Extension Language for Flexible Query Answering",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "248",
 pages        = "131--147",
 url          = "http://dx.doi.org/10.1016/j.entcs.2009.07.064",
)
@article(KS92,
 author       = "M. Kifer and V.S. Subrahmanian",
 year         = "1992",
 title        = "Theory of generalized annotated logic programming and its applications.",
 journal      = "Journal of Logic Programming",
 volume       = "12",
 pages        = "335--367",
 url          = "http://dx.doi.org/10.1016/0743-1066(92)90007-P",
)
@inproceedings(LSS01,
 author       = "V. Loia and S. Senatore and M. I. Sessa",
 year         = "2001",
 title        = "Similarity-based SLD Resolution and Its Implementation in An Extended Prolog System",
 booktitle    = "Proc. of 10th IEEE Int. Conference on Fuzzy Systems, FUZZ-IEEE'01, Melbourne, Australia",
 pages        = "650--653",
 url          = "http://dx.doi.org/10.1109/FUZZ.2001.1009038",
)
@article(MM82,
 author       = "A. Martelli and U. Montanari",
 year         = "1982",
 title        = "An {E}fficient {U}nification {A}lgorithm",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "4",
 pages        = "258--282",
 url          = "http://dx.doi.org/10.1145/357162.357169",
)
@article(MOV04,
 author       = "J. Medina and M. Ojeda-Aciego and P. Vojt\'a\v {s}",
 year         = "2004",
 title        = "Similarity-based {U}nification: a multi-adjoint approach",
 journal      = "{F}uzzy {S}ets and {S}ystems",
 volume       = "146",
 pages        = "43--62",
 url          = "http://dx.doi.org/10.1016/j.fss.2003.11.005",
)
@inproceedings(MMPV10RULEML,
 author       = "P. J. Morcillo and G. Moreno and J. Penabad and C. V{\'a}zquez",
 year         = "2010",
 title        = "{A} {P}ractical {M}anagement of {F}uzzy {T}ruth {D}egrees using {FLOPER}",
 booktitle    = "Proc. of 4nd Int. Symposium on Rule Interchange and Applications, RuleML'10",
 publisher    = "Lectures Notes in Computer Science, 6403, Springer Verlag",
 pages        = "20--34",
 url          = "http://dx.doi.org/10.1007/978-3-642-16289-3_4",
)
@inproceedings(MPV13CMMSE,
 author       = "G. Moreno and J. Penabad and C. V{\'a}zquez",
 year         = "2013",
 title        = "Relaxing the Role of Adjoint Pairs in Multi-adjoint Logic Programming",
 editor       = "I. Hamilton and J. Vigo-Aguiar",
 booktitle    = "Proc. of 13th Int. Conference on Mathematical Methods in Science and Engineering, CMMSE'13 (Volume III), Cabo de Gata, Almer\'{\i }a",
 pages        = "1156--1167",
 url          = "http://cmmse.usal.es/images/stories/congreso/volume3-cmmse-20013.pdf",
)
@inproceedings(MPV14JRS,
 author       = "G. Moreno and J. Penabad and C. V{\'a}zquez",
 year         = "2014",
 title        = "Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming",
 booktitle    = "Proc. of the 2014 Joint Rough Set Symposium, JRS'14",
 publisher    = "Lecture Notes in Computer Science, 8536, Springer Verlag",
 pages        = "71--82",
 url          = "http://dx.doi.org/10.1007/978-3-319-08644-6_7",
)
@article(MV14JSEA,
 author       = "G. Moreno and C. V\'azquez",
 year         = "2014",
 title        = "Fuzzy Logic Programming in Action with FLOPER",
 journal      = "Journal of Software Engineering and Applications",
 volume       = "7",
 pages        = "237--298",
 url          = "http://dx.doi.org/10.4236/jsea.2014.74028",
)
@article(MPH11INS,
 author       = "S. Mu{\~n}oz-Hern{\'a}ndez and V. P. Ceruelo and H. Strass",
 year         = "2011",
 title        = "RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog",
 journal      = "Information Sciences",
 volume       = "181",
 number       = "10",
 pages        = "1951--1970",
 url          = "http://dx.doi.org/10.1016/j.ins.2010.07.033",
)
@book(NW06,
 author       = "H. T. Nguyen and E. A. Walker",
 year         = "2006",
 title        = "A First Course in Fuzzy Logic",
 publisher    = "Chatman \& Hall",
 address      = "Boca Rat\'on, Florida",
 url          = "http://www.crcpress.com/product/isbn/9780849316593",
)
@inproceedings(RR08FLOPS,
 author       = "M. Rodr\'{\i }guez-Artalejo and C. Romero-D\'{\i }az",
 year         = "2008",
 title        = "Quantitative logic programming revisited",
 editor       = "J. Garrigue and M. Hermenegildo",
 booktitle    = "Proc. of 9th Functional and Logic Programming Symposium, FLOPS'08",
 publisher    = "Lecture Notes in Computer Science 4989, Springer",
 pages        = "272--288",
 url          = "http://dx.doi.org/10.1007/978-3-540-78969-7_20",
)
@article(RR10,
 author       = "M. Rodr\'{\i }guez-Artalejo and C. A. Romero-D\'{\i }az",
 year         = "2008",
 title        = "A declarative semantics for clp with qualification and proximity",
 journal      = "Theory and Practice of Logic Programing",
 volume       = "10",
 pages        = "627--642",
 url          = "http://dx.doi.org/10.1017/S1471068410000323",
)
@article(RJ14JIFS,
 author       = "C. Rubio-Manzano and P. Juli{\'a}n-Iranzo",
 year         = "2014",
 title        = "A Fuzzy linguistic prolog and its applications",
 journal      = "Journal of Intelligent and Fuzzy Systems",
 volume       = "26",
 number       = "3",
 pages        = "1503--1516",
 url          = "http://dx.doi.org/10.3233/IFS-130834",
)
@article(Ses02,
 author       = "M. I. Sessa",
 year         = "2002",
 title        = "Approximate reasoning by similarity-based SLD resolution.",
 journal      = "Theoretical Computer Science",
 volume       = "275",
 number       = "1-2",
 pages        = "389--426",
 url          = "http://dx.doi.org/10.1016/S0304-3975(01)00188-8",
)