Parallel Algorithms for Refutation Tree Problem on Formal Graph Systemsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。