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

by M Loebl, J Ne˘set˘ril
Venue:J. Algor