@inproceedings{Jul02,
   author = "P. Juli{\'a}n-Iranzo",
   title = "On the Correctness of the Factoring Transformation",
   booktitle = "Proc. of 7th Int'l Symp. on Functional
                and Logic Programming, FLOPS'02",
   pages = "15 pp",
   editor = {Z. Hu and M. Rodr\'{\i}guez{-A}rtalejo},
   publisher = {Springer LNCS },
   year = 2002,
   note = "(to appear)"}