Completeness of Depth-Bounded Resolution for Weakly Reducing Programsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。