Title: Galvin's "racing pawns" game and a well-ordering of trees
First published: 1985