Text this: Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics