A taxonomy of theorem-proving strategies