TY  - RPRT
TI  - Two universal 3-quantifier representations of recursively enumerable sets
AU  - Yuri Matiyasevich
AU  - Julia Robinson
PY  - 2008
UR  - https://arxiv.org/abs/0802.1052
ID  - 0802.1052
ER  -