@unpublished{andre:hal-02318288,
TITLE = {On Tarski's problem for virtually free groups},
AUTHOR = {Andr{\'e},
Simon},
URL = {https://hal.science/hal-02318288},
NOTE = {81 pages.},
YEAR = {2019},
MONTH = Oct, PDF = {https://hal.science/hal-02318288/file/Papier%203.pdf},
HAL_ID = {hal-02318288},
HAL_VERSION = {v1},
}