効率的な量化子消去手順によるプレスバーガー算術

単一の存在量化子ブロックを指数関数的時間で消去することができる。