Publications by 'Martin D. Davis'