TY  - RPRT
TI  - Strategies for basing the CS theory course on non-decision problems
AU  - John MacCormick
PY  - 2017
UR  - https://arxiv.org/abs/1712.03069
ID  - 1712.03069
ER  -