selected publications academic article The `hardest´ natural decidable theory. Untitled Event. 294-305. 1997 conference paper The "Hardest" natural decidable theory. . 2002