Salvatore Caporaso Giovanni Pani Emanuele Covino Incompleteness in Linear Time. 1185-1196 2000 6 J. UCS 12 http://www.jucs.org/jucs_6_12/incompleteness_in_linear_time db/journals/jucs/jucs6.html#CaporasoPC00