A combinatorial characterization of treelike resolution space | Publicación