Decidability problems for the prenex fragment of intuitionistic logic | IEEE Conference Publication | IEEE Xplore