TY - RPRT TI - First-Order Aspects of Coxeter Groups AU - Bernhard Muhlherr AU - Gianluca Paolini AU - Saharon Shelah PY - 2022 UR - https://arxiv.org/abs/2010.13161 ID - 2010.13161 ER -