A study of proof search algorithms for resolution and polynomial calculus | Publicación