TY  - RPRT
TI  - An Impossible Asylum
AU  - Jeremy Avigad
AU  - Seulkee Baek
AU  - Alexander Bentkamp
AU  - Marijn Heule
AU  - Wojciech Nawrocki
PY  - 2022
UR  - https://arxiv.org/abs/2112.02142
ID  - 2112.02142
ER  -