An Improved Lower Bound for the Elementary Theories (1996)

by S Vorobyov
Venue:of Trees, CADE’96, LNAI 1104