An Improved Lower Bound for the Elementary Theories of Trees (1996)

by S Vorobyov
Venue:Proceeding of the 13th International Conference on Automated Deduction (CADE’96