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