Decision problems for 3-manifolds and their fundamental groups - Matthias Aschenbrenner; Stefan Friedl; Henry Wilton (2014)