@article{AFJV03,
 author = "M. Alpuente and M. Falaschi and P. Juli\'an and G. Vidal",
 title = "{Uniform Lazy Narrowing}",
 journal = "Journal of Logic and Computation",
 volume = 13,
 number = 2,
 pages = "287-312",
 year = 2003
}