Infiniteness of proof $ left( alpha \right) is polynomial-space completeに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。