Pascual Julián Iranzo Thesis: Partial evaluation of lazy functional logic programs. 121-123 2003 16 AI Commun. 2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=16&issue=2&spage=121 db/journals/aicom/aicom16.html#Iranzo03