Publications

ORCID records

Note that these papers are copyrighted by either the authors or the publisher. The papers here provided are for personal use; other uses require the explicit written permission of the copyright holder.

Journals
2021
  • P. Julián-Iranzo and F. Sáenz-Pérez (2021). Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory and Practice of Logic Programming  pp.:1-17. Available:  https://arxiv.org/abs/2101.09619
2020
  • P. Julián-Iranzo and F. Sáenz-Pérez (2018). Proximity-based Unification: an Efficient Implementation Method. IEEE Transactions on Fuzzy Systems. Available:  https://doi.org/10.1109/TFUZZ.2020.2973129
  • Pascual Julián Iranzo, Ginés Moreno, José Antonio Riaza (2020).
    The Fuzzy Logic Programming language FASILL: Design and implementation. Int. J. Approx. Reason. 125: 139-168. Available:  https://doi.org/10.1016/j.ijar.2020.06.002
2018
2017
  • P. Julián-Iranzo, Ginés Moreno and Jaime Penabad (2017). Thresholded semantic framework for a fully integrated fuzzy logic language. J. Log. Algebr. Meth. Program. 93: 42-67. Elsevier BV. Available: https://doi.org/10.1016/j.jlamp.2017.08.002
  • P. Julián-Iranzo and C. Rubio (2017). A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets and Systems. Elsevier BV. Available: https://doi.org/10.1016%2Fj.fss.2016.12.016
  • P. Julián-Iranzo, J. Medina and M. Ojeda (2017). On reductants in the framework of multi-adjoint logic programming. Fuzzy Sets and Systems. Elsevier BV. Available: https://doi.org/10.1016%2Fj.fss.2016.09.004
2015
  • C. Rubio and P. Julián-Iranzo (2015). Incorporation of abstraction capability in a logic-based framework by using proximity relations. Journal of Intelligent and Fuzzy Systems. Volume 29 (issue 4). Pages: 1671-1683  Available: https://doi.org/10.3233/IFS-151645
  • P. Julián-Iranzo and C. Rubio (2015). Proximity-based unification theory. Fuzzy Sets and Systems. Volume 262, pages 21-43. Available:  https://doi.org/10.1016/j.fss.2014.07.006
2014
  • C. Rubio and P. Julián-Iranzo (2014). A Fuzzy linguistic prolog and its applications. Journal of Intelligent and Fuzzy Systems. Volume 26 (N. 3), pages 21-43. Available: https://doi.org/10.3233/IFS-130834
2013
  • F.P. Romero, P. Julián-Iranzo, A. Soto, M. Ferreira and J. Gallardo (2013). Classifying unlabeled short texts using a fuzzy declarative approach. Language Resources and Evaluation. Volume 47, N. 1, pages 151-178. Available: https://doi.org/10.1007/s10579-012-9203-2
2009
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2009). An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems,   Volume 160, Issue 2, 16 January 2009, Pages 162-181. Elsevier Science ( Amsterdam ). Available: http://dx.doi.org/10.1016/j.fss.2008.05.006   
  • P. Julián-Iranzo, C. Rubio and J. Gallardo (2009). Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. Electronic Notes in Theoretical Computer Science,   Volume 248, Pages 131-147. Elsevier Science (Amsterdam). Available:  https://doi.org/10.1016/j.entcs.2009.07.064
  • P. Julián-Iranzo, J. Medina, G. Moreno and M. Ojeda-Aciego (2009). Thresholded tabulation in a fuzzy logic setting. Electronic Notes in Theoretical Computer Science,   Volume 248, Pages 115-130. Elsevier Science (Amsterdam). Available:   https://doi.org/10.1016/j.entcs.2009.07.063
2007
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2007). Efficient Reductants Calculi by Using Partial Evaluation Techniques with Thresholding. Electronic Notes in Theoretical Computer Science. Volume 188, pages 77-90. Elsevier. Available:  https://doi.org/10.1016/j.entcs.2007.05.039
2006
  • P. Julián-Iranzo, G. Moreno and J. Penabad(2006). Operacional/Interpretive Unfolding of Multi-Adjoint Logic Programs. Journal of Universal Computer Science. Vol: 12, Nº 11, pp. 1679-1699.   Graz ( Austria ). ISSN: 0948-69X, Online Edition: ISSN 0948-6968. Available: (dvi/Postscript/pdf/bibtex). Also available at: http://dx.doi.org/10.3217/jucs-012-11-1679
2005
2004
  • P. Julián-Iranzo and Ch. Villamizar-Lamus (2004). Analysing Definitional Trees: Looking for Determinism.  Lecture Notes in Computer Science 2998, Pages 55-69.  Springer.  Available:   (dvi/Postscript/pdf/bibtex )  EID: 2-s2.0-35048871001 
2003
  • P. Julián-Iranzo (2003). Especialización Automática de Programas y sus Aplicaciones.  Novática. (163) pp. 40-46. (May–Jun 2003). Available:   http://www.ati.es/novatica/2003/163/nv163sum.html
  • P. Julián-Iranzo(2003). Partial Evaluation of Lazy Functional Logic Programs.  AI Comunications. (16)1. Volume 16, number 2, pages 121-123. Available: Abstract (dvi/Postscript/pdf).  EID: 2-s2.0-0038679359
  • M. Alpuente, Moreno Falaschi, Pascual Julián-Iranzo and Germán Vidal (2003). Uniform Lazy Narrowing.  Journal of Logic and Computation. (16)2: 287-312. You can find here some experiments and benchmark programs. Available:   https://doi.org/10.1093/logcom/13.2.287
2002
  • P. Julián-Iranzo (2002). On the Correctness of the Factoring Transformation.  Proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, Aizu-Wakamatsu, Japan, Sep. 15-17, 2002. Aizu University. Springer – Verlag LNCS 2241, pp. 119-133. Available: (extended version with proofs  dvi/Postscript/pdf / bibtex) https://doi.org/10.1007/3-540-45788-7
  • S. Antoy, P. Julián-Iranzo and B. Massey (2002). Improving the Efficiency of Non-Deterministic Computations. Electronic Notes in Computer Science, Vol.64 . Pages 77-98. Elsevier Science. (Extended version of a previous paper in WFLP 2001) Available: https://doi.org/10.1016/S1571-0661(04)80347-5  (dvi/Postscript/pdf/bibtex). Also, you can find here some benchmark programs used in the experiments.
1997
  • M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1997). Specialization of Lazy Functional Logic Programs. ACM SIGPLAN Notices, Vol. 32(12) pp.151-162. The Association for Computing Machinery, New York, 1997.  Available:   (dvi/Postscript/pdf/bibtex)  EID: 2-s2.0-0346675716
BOOK Chapters and Conference papers
2020
  • P. Julián-Iranzo and F. Sáenz-Pérez (2020).
    A System implementing Fuzzy Hypothetical Datalog. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020), Pages 1-8. Available:  https://doi.org/10.1109/FUZZ48607.2020.9177715
2019
  • P. Julián-Iranzo and F. Sáenz-Pérez (2019).
    WordNet and Prolog: why not?.  Proc. of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), Pages 1-8.  Atlantis Press. Available:  https://doi.org/10.2991/eusflat-19.2019.113
2018
  • P. Julián-Iranzo and F. Sáenz-Pérez (2018).
    An Efficient Proximity-based Unification Algorithm. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), Pages 1-8. Available:  https://doi.org/10.1109/FUZZ-IEEE.2018.8491593
  • P. Julián Iranzo, G. Moreno, J. Penabad (2018).
    FASILL: Fuzzy Correct Answers and Soundness. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018), Pages 1-8. Available:  https://doi.org/10.1109/FUZZ-IEEE.2018.8491504 
2017
  • P. Julián-Iranzo and F. Sáenz-Pérez (2016).
    FuzzyDES or how DES Met Bousi-Prolog. Proc. of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2017), Pages 1-6. Available:  https://doi.org/10.1109/FUZZ-IEEE.2017.8015580
2016
  • P. Julián-Iranzo, G. Moreno, J. Penabad and c. Vazquez (2016). A declarative semantics for a fuzzy logic language managing similarities and truth degrees. 10th International Symposium on Rule Technologies, RuleML 2016; Stony Brook; United States; 6 July 2016 through 9 July 2016; Lecture Notes in Computer Science . Volume 9718. Pages 68-82. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84979018854&partnerID=MN8TOARS
2015
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2015). A fuzzy logic programming environment for managing similarity and truth degrees. arXiv preprint arXiv:1501.02034.
  • P. Julián-Iranzo, G. Moreno and C. Vázquez (2015). Similarity-based Strict Equality in a Fully Integrated Fuzzy Logic Language. Proc. of the 9th International Web Rule Symposium, RuleML’15. Berlin, Germany, August 2-5. Lecture Notes in Computer Science 9202, pages 193-207. Springer International Publishing Switzerland. Available: http://dx.doi.org/10.1007/978-3-319-21542-6_13
  • P. Julián-Iranzo, G. Moreno, J. Penabad and C. Vázquez (2015). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Electronic Proceedings in Theoretical Computer Science, EPTCS. Volume 173.  pages 71-86. ISSN: 2075-2180. Available: http://dx.doi.org/10.4204/EPTCS.173.6
2014
  • P. Julián-Iranzo, J. Medina and M. Ojeda (2014). Revisiting reductants in the multi-adjoint logic programming framework. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8761, pages 694-702. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84921340729&partnerID=MN8TOARS
  • P. Julián-Iranzo, G. Moreno, J. Penabad and C. Vázquez (2014). A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. Proc. of XIV Jornadas sobre Programación y Lenguajes, PROLE’14, Cádiz, Spain, September 17-19, pages 145-154. University of Cádiz.
  • P. Julián-Iranzo and C. Rubio (2014) Reasoning with words: A first approximation. IEEE International Conference on Fuzzy Systems. Pages 569-574. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84912570006&partnerID=MN8TOARS
2013
  • C. Rubio, P. Julián-Iranzo, E. Salazar and E. San Martín (2013). Declarative fuzzy linguistic queries on relational databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 8132 LNAI pages 413-424. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84884972847&partnerID=MN8TOARS
  • P. Julián-Iranzo and C. Rubio (2013). A proximity-based method for discovery of generalized knowledge and its incorporation to the bousi?prolog system. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 7903 LNCS, Part 2, pages 236-245. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84880071441&partnerID=MN8TOARS
  • P. Julián-Iranzo, J. Medina-Moreno, P.J. Morcillo, G. Moreno and M.Ojeda-Aciego (2013). An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation. In Advances in Computational Intelligence – 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14. Proceedings, Part I, volume 7902 of Lecture Notes in Computer Science, pages 647-655. Springer. Available:  http://dx.doi.org/10.1007/978-3-642-38679-4_65
2012
  • P. Julián-Iranzo and C. Rubio (2012). Método para el Descubrimiento de Conocimiento Abstracto basado en Proximidad y su Incorporación al Sistema Bousi~Prolog.  XVI Congreso Español de Tecnologías y Lógica Fuzzy (ESTYLF’2012). Universidad de Valladolid (ISBN: 978-84-615-6653-2).  pages: 695-700
2011
  • F. P. Romero, P. Julián-Iranzo, A. Soto, M. Ferreira and J. Gallardo (2011). A fuzzy declarative approach for classifying unlabeled short texts using thesauri. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 6857 LNAI, pages: 180-187 Available:  http://www.scopus.com/inward/record.url?eid=2-s2.0-80052767595&partnerID=MN8TOARS
  • P. Julián-Iranzo and C. Rubio (2011). A sound semantics for a similarity-based logic programming language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 6692 LNCS, pages: 421-428 Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-79957935083&partnerID=MN8TOARS
  • P. Julián-Iranzo, J. Medina, P.J. Morcillo, G. Moreno, and M. Ojeda-Aciego (2011). A static preprocess for improving fuzzy thresholded tabulation. In Advances in Computational Intelligence – 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II, volume 6692 of Lecture Notes in Computer Science, pages 429-436. Springer Verlag. Available: http://dx.doi.org/10.1007/978-3-642-21498-1_54
2010
  • P. Julián-Iranzo and C. Rubio (2010). A programming environment for Bousi~Prolog. Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1, pages: 36-42 Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84866108707&partnerID=MN8TOARS
  • P. Julián-Iranzo, J. Medina, G. Moreno, and M. Ojeda (2010). Efficient thresholded tabulation for fuzzy query answering. Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty), 249:125-141. Available: http://dx.doi.org/10.1007/978-3-642-10728-3_7
  • P. Julián-Iranzo, J. Medina, G. Moreno, and M. Ojeda-Aciego (2010). Efficient thresholded tabulation for fuzzy query answering. Proc. of X Jornadas sobre Programación y Lenguajes, PROLE’10, Valencia, Spain, September 7-10 , page 147. Garceta grupo editorial, 2010 (in “published works” section). ISBN 978-84-92812- 55-4.
  • P. Julián-Iranzo and C. Rubio (2010). Bousi-prolog a fuzzy logic Programming language for modeling vague knowledge and approximate reasoning. ICFC 2010 ICNC 2010 – Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation. Pages 93-98. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-78651427854&partnerID=MN8TOARS
  • P. Julián-Iranzo and C. Rubio (2010). An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. 2010 IEEE World Congress on Computational Intelligence, WCCI 2010. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-78549241943&partnerID=MN8TOARS
  • P. Julián-Iranzo and C. Rubio (2010). A programming environment for Bousi~Prolog. Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. Volume 1. Pages 36-42. Available: http://www.scopus.com/inward/record.url?eid=2-s2.0-84866108707&partnerID=MN8TOARS
2009
2008
  • P. Julián-Iranzo (2008). A procedure for the construction of a similarity relation. In Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2008), June 22-27, 2008, Málaga, Spain, pp. 8, Universidad de Málaga, 2008 (Accepted for publication). Available: (dvi/Postscript/pdf/bibtex).
  • P. Julián-Iranzo, J. Medina, G. Moreno and M. Ojeda (2008). Tresholded Tabulation in a Fuzzy Logic Setting. Proc. of VIII Jornadas sobre Programación y Lenguajes (PROLE’08), Gijon, Spain . October 7-10. pages 57-71. Fundación Universidad de Oviedo, 2008. (ISBN 978-84-612-5819-2).
  • P. Julián-Iranzo, J. Medina, G. Moreno and M. Ojeda (2008). Combining tabulation and thresholding techniques for executing multi-adjoint logic programs. Proc. of the 12th International Conference on Information Processing and management of Uncertainty in Knoledge-based Systems (IPMU’08), Málaga, Spain . June 22-27. Pages 550-512. University of Málaga (ISBN 978-84-612-3061-7).
2007
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2007). Measuring the Interpretive Cost in Fuzzy Logic Computations . Proc. of the International Workshop on Fuzzy Logic and Applications (WILF’07), Genova , Italy . July 7-10 . Lecture Notes in Artificial Intelligence (to appear) pp. 8. Springer- Verlag.
  • P. Julián-Iranzo, G. Moreno and  J. Penabad (2007). Cost Measures for Fuzzy Logic Computations . Proc. of VII Jornadas sobre Programación y Lenguajes (PROLE’07), Zaragoza , Spain . September. 12-14 (to appear). 10 pages. University of Zaragoza.
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2007). Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. Electronic Notes in Theoretical Computer Science, Volume 188, 16 July 2007, Pages 77-90. Elsevier Science (Amsterdam). (Extended version of a previous paper selected in PROLE 2006). Available: Online article, doi:10.1016/j.entcs.2007.05.039
2006
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2006). Evaluación Parcial de Programas Lógicos Multi-adjuntos y Aplicaciones. Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI’2006. Albacete (Spain), July, 10-14. pp. 712-724. University of Castilla-La Mancha. ISBN 84-689-9560-6.
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2006). Efficient Reductants Calculi by Using Partial Evaluation Techniques with Thresholding.  Proc. of VI  Jornadas  sobre Programación y Lenguajes (PROLE’06) Sitges , Spain . October. 21-27.   pp. 275-289. Technical University of Catalonia . ISBN 84-95999-84-6.
  • P. Julián-Iranzo and C. Rubio (2006). A WAM Implementation for Flexible Query Answering.  In Proc. of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing (ASC 2006), August 28-30, 2006, Palma de Mallorca, pp. 262-267, ACTA Press, 2006. Available: Accepted Manuscript (dvi/Postscript/pdf/bibtex).
2005
2004
  • P. Julián-Iranzo and C. Villamizar (2004). Analysing Definitional Trees: Looking for Determinism. Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, Nara (Japan), April, 7-9 2004. Springer – Verlag LNCS 2998, pp. 55-69. Available: (dvi/ Postscript/pdf/bibtex)  http://www.scopus.com/inward/record.url?eid=2-s2.0-35048871001&partnerID=MN8TOARS
  • P.Julián-Iranzo, G. Moreno and J. Penabad (2004) Unfolding Fuzzy Logic Programs. Proceedings of the IEEE 4th International Conference on Intelligent Systems Design and Applications (ISDA’04), Budapest , Hungary . August 26-28, pp. 595-600. ISBN 963 7154 29 9. 
  • P. Julián-Iranzo, G. Moreno and J. Penabad (2004) Unfolding-based Improvements on Fuzzy Logic Programs. Proc. of IV Jornadas sobre Programación y Lenguajes (PROLE’04) Málaga, Spain. November, 11-12. pp. 241-254. University of Málaga.
2003
  • P. Julián-Iranzo (2003). Refined Definitional Trees and Prolog Implementation of Narrowing. Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2003, Valencia (España), Jun.12-13, pp. 117-129, 2003. Universidad Politécnica de Valencia. Available: dvi/Postscript/pdf / bibtex . Find here a zip file with the benchmark programs.
2002
  • M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (2002). Lazy Narrowing and Needed Narrowing: A Comparison. Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, Jun. 20-22, 2002. Udine University. Research Report UDMI/18/2002/RR, pp. 21-34. Available:   dvi/Postscript/pdf / bibtex .
2001
  • S. Antoy, P. Julián-Iranzo and B. Massey (2001). Improving the Efficiency of Non-Deterministic Computations. Proceedings of the 10th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, Sept. 13-15, 2001. pp. 17-30. Kiel University, 2001. Available: dvi/Postscript/pdf/bibtex.
1998
  •  E. Albert, M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1998). Improving Control in Functional Logic Program Specialization. Proceedings of Static Analysis Symposium, SAS’98, Pisa (Italy), Sept. 14-18,1998. Springer – Verlag LNCS 1503, pp. 262-277. 1998. Available: dvi/Postscript/pdf/bibtex
  • E. Albert, M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1998).  Polygenetic Partial Evaluation of Lazy Functional Logic Programs. Proceedings of APPIA-GULP-PRODE 1998, pp. 262-277. Available: dvi/Postscript/pdf/bibtex
1997
1996
  • M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1996). Call-by-Name Specialization of Functional Logic Programs.  In Manuel M.T. Chakravarty, Yike Guo and Tetsuo Ida, editors, Proceedings of the JICSLP1996 Post-Conference Workshop on Multi-Paradigm Logic Programming, Bonn (Germany), Sept. 5-6, 1996. pp. 10. Forschungsbericht \#96-28 (research report). Fachbereich Informatik, Technische Universität Berlin, 1996.
PhD Thesis
2000
  • Especialización de Programas Lógico-Funcionales Perezosos pp. 272. Departamento de Sistemas Informáticos y Computación, UPV, May 5, 2000. Advisor: Maria Alpuente. Available: (in spanish) dvi/Postscript/pdf/bibtex.
Edited books
2007

  • Pascual Julián-Iranzo y M. Alpuente Frasnedo (2007).  Programación Lógica: Teoría y Práctica. Pearson Educación (Prentice Hall),  470 páginas, Madrid (ISBN:978-84-8322-368-0). Encuadernación rústica.

2004
TECHNICAL REPORTS
2017
  • P. Julián-Iranzo and F. Sáenz-Pérez (2017). A Fuzzy Datalog Deductive Database System. Informe técnico IT/2017/1, Pages 18. Department of Software Engineering and Artificial Intelligence. Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain.
2004
  • P. Julián-Iranzo, G. Moreno, J. Penabad (2004). Unfolding Fuzzy Logic Programs. (27 pages). #DIAB-04-03-2. Departamento de Informática, UCLM, 2004. Available: PostScript
2003
  • P. Julián-Iranzo and C. Villamizar (2003). Analysing Definitional Trees: Looking for Determinism.  DIAB-03-12-2. pp. 18. Departamento de Informática, UCLM, Dec. 2003. (extended version of the FLOPS 2004 paper “Analysing Definitional Trees: Looking for Determinism“.). Available:   dvi/Postscript/pdf / bibtex . Find here a zip file with the benchmark programs.
2000
  • P. Julián-Iranzo (2000). La Evaluación Parcial: qué es y para qué sirve.  II-DSIC-31/00. pp. 17. Departamento de Sistemas Informáticos y Computación, UPV, 2000. (extended version of the Novática paper “Especialización Automática de Programas y sus Aplicaciones”.) Available: (in spanish) dvi/Postscript/pdf/bibtex
1999
  • M.  Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1999). Técnicas de Evaluación Parcial Perezosa en Programas Uniformes.  II-DSIC-18/99. pp. 65. Departamento de Sistemas Informáticos y Computación, UPV, 1999. Available: (in spanish) dvi/Postscript/pdf/bibtex
1998
  • E. Albert, M. Alpuente, M. Falaschi, P. Julián-Iranzo and G. Vidal (1998).  Improving Control in Functional Logic Program Specialization (extended version). II-DSIC-2/97. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV, 1998.
1996
  • P. Julián-Iranzo, G. Moreno (1996). Nuevas Semánticas para Programas Lógico Ecuacionales: Teoría e Implementación.    II-DSIC-13/96. pp. 169. Departamento de Sistemas Informáticos y Computación, UPV.  Available: (A (basic) narrowing interpreter implemented using some ideas developed in this work. The interpreter is written in C — interpreter)
1995
  • P. Julián-Iranzo (1995). Una nueva Semántica Operacional para Programas Lógico Ecuacionales.  II-DSIC-25/95. pp. 34. Departamento de Sistemas Informáticos y Computación, UPV