First-Order Aspects of Coxeter Groups - Bernhard Muhlherr; Gianluca Paolini; Saharon Shelah (2020)