@inproceedings{10.1007/978-3-030-40608-0_8,
    Address = {Cham},
    Author = {B{\`e}s, Alexis and Choffrut, Christian},
    BookTitle = {Language and Automata Theory and Applications},
    Editor = {Leporati, Alberto and Mart{\'\i}n-Vide, Carlos and Shapira, Dana and Zandron, Claudio},
    ISBN = {978-3-030-40608-0},
    Pages = {128--140},
    Publisher = {Springer International Publishing},
    Title = {{$\langle \mathbb R, +,<,1 \rangle$} Is Decidable in {$\langle \mathbb R, +,< , \mathbb Z \rangle$}},
    Year = {2020},
    date-added = {2020-03-03 15:10:14 +0100},
    date-modified = {2020-03-03 15:10:14 +0100},
    doi = {10.1007/978-3-030-40608-0_8}
}

@inproceedings{10.1007/978-3-030-40608-0_8, Address = {Cham}, Author = {B{`e}s, Alexis and Choffrut, Christian}, BookTitle = {Language and Automata Theory and Applications}, Editor = {Leporati, Alberto and Mart{\'\i}n-Vide, Carlos and Shapira, Dana and Zandron, Claudio}, ISBN = {978-3-030-40608-0}, Pages = {128--140}, Publisher = {Springer International Publishing}, Title = {{$\langle \mathbb R, +,<,1 \rangle$} Is Decidable in {$\langle \mathbb R, +,< , \mathbb Z \rangle$}}, Year = {2020}, date-added = {2020-03-03 15:10:14 +0100}, date-modified = {2020-03-03 15:10:14 +0100}, doi = {10.1007/978-3-030-40608-0_8} }