Recognizing Unit Disk Graphs in Hyperbolic Geometry is ∃R-Complete. - Nicholas Bieker; Thomas Bläsius; Emil Dohse; Paul Jungeblut (CoRR, 2023)