TY  - JOUR
AU  - Diener, Hannes
AU  - Hendtlass, Matthew
TI  - Completeness: When Enough is Enough
JO  - Documenta mathematica
PY  - 2019
SP  - 899
EP  - 914
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_2019__24__a39/
LA  - en
ID  - DOCMA_2019__24__a39
ER  -