Jerzy Marcinkowski Leszek Pacholski Thue trees. 19-59 2003 119 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal119.html#MarcinkowskiP03