\input zb-basic
\input zb-ioport
\iteman{io-port 70930643}
\itemau{L\'opez-Fraguas, Francisco Javier; Martin-Martin, Enrique; Rodr{\'\i}guez-Hortal\'a, Juan}
\itemti{New results on type systems for functional logic programming}
\itemso{WFLP, 128-144 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-11999-6\_9}
\end