Automatic reasoner selection using machine learning. - Jürgen Bock; Uta Lösch; Hai Wang 001 (WIMS, 2012)