@inproceedings{DBLP:conf/slp/Arenas-SanchezR97,
author = {P.~Arenas-S{\'{a}}nchez and M.~Rodr\'{\i}guez-Artalejo},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {ILPS},
pages = {53-67},
title = {A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.},
projects = {},
butype = {inproceedings},
year = {1997}
}