Divvy: An ATP Meta-system
based on Axiom Relevance Ordering
by
Alex Roederer
Yury Puzis
Geoff Sutcliffe
University of Miami, USA
Abstract