Partial evaluation of lazy functional logic programs: Thesis | Publicación