MoL-2019-23: Chase Ford Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees 1.Full Text, 2.Abstract. < Back
