TY - RPRT TI - On the Containment Problem for Unambiguous Single-Register Automata with Guessing AU - Antoine Mottet AU - Karin Quaas PY - 2019 UR - https://arxiv.org/abs/1905.12445 ID - 1905.12445 ER -