Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.

Alex Roederer, Yury Puzis, Geoff Sutcliffe

Browse the full CADE paper archive.