TY - RPRT TI - Non-deterministic Characterisations AU - Cynthia Kop PY - 2017 UR - https://arxiv.org/abs/1711.03415 ID - 1711.03415 ER -