MoL-2019-23: Ford, Chase (2019) Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees. [Report]