Advances in first-order theorem proving