Formal Properties of Needed Narrowing with Similarity Relations | Publicación