@inproceedings{JV04,
   author = "P. Juli{\'a}n-Iranzo \and Christian Villamizar-Lamus",
   title = "Analysing Definitional Trees: Looking for Determinism",
   booktitle = "Proc. of 7th Int'l Symp. on Functional
                and Logic Programming, FLOPS'04, Nara (Japan), April 7-9, 2004",
   pages = "55-69",
   publisher = {Springer LNCS 2998},
   year = 2004}