Further applications of ultra-conservative ω-rules | Publicación