@inproceedings{AFMV99,
  Author = "M. Alpuente and M. Falaschi and G. Moreno and G. Vidal",
  Title = "A {T}ransformation {S}ystem for {L}azy {F}unctional
           {L}ogic {P}rograms",
  Booktitle = "Proc.\ of the 4th Fuji Int'l Symp.\ on Functional
               and Logic Programming, FLOPS'99",
  publisher = "Springer LNCS 1722",
  editor = "A. Middeldorp and T. Sato",
  pages = "147-162",
  Year = "1999"
}