@dblp

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

, , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 157-162. Springer, (2009)

Links and resources

Tags