A Decision Method for the Intuitionistic Theory of successor | Publicación