Text this: The efficiency of theorem proving strategies :