TY - RPRT TI - On Tarski's problem for virtually free groups AU - Simon André PY - 2019 UR - https://arxiv.org/abs/1910.08464 ID - 1910.08464 ER -