Realizability modulo theories | Publicación