S. Riis, “A Complexity Gap for Tree-Resolution”, BRICS, vol. 6, no. 29, Jan. 1999.