@inproceedings{Jul03b,
  author = "P. Juli{\'a}n-Iranzo",
  title = "Refined Definitional Trees and Prolog Implementations of Narrowing",
  booktitle = "Proceedings of the 12th International Workshop on Functional and
	(Constraint) Logic Programming, WFLP 2003, Valencia, Spain, June 12-13, 2003",
  publisher = "Universidad Polit\'ecnica de Valencia",
  pages = "1-13",
  year = "2003"
}