Monotone simulations of non-monotone proofs | Publicación