TY  - RPRT
TI  - Constructive Domains with Classical Witnesses
AU  - Dirk Pattinson
AU  - Mina Mohammadian
PY  - 2021
DO  - 10.23638/lmcs-17(1:19)2021
UR  - https://arxiv.org/abs/1910.04948
ID  - 1910.04948
ER  -