Hilbert's Twenty-Fourth Problem. - Ruediger Thiele; Larry Wos (J. Autom. Reason., 2002)