Linearity and unprovability of set union problem strategies I. Linearity of strong postorder (1997)

by M Loebl, J Neˇsetˇril
Venue:Journal of Algorithms