"The "Hardest" Natural Decidable Theory."

Sergei G. Vorobyov (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics