Riis, S. (1999). A Complexity Gap for Tree-Resolution. BRICS Report Series, 6(29). https://doi.org/10.7146/brics.v6i29.20098