A modular reduction of regular logic to classical logic | Publicación