The top documents tagged [local provers failingfint]
Alternation for Termination
40 views