Normal forms and normal theories in conditional rewriting | Publicación