On decidability of hyperbolicity - Zdeněk Dvořák; Luke Postle (2020)