/proofsearch/include/atp/strategy/
../
calculus.h
inference_rule.h
problem_analyzer.h