"AVATAR: The Architecture for First-Order Theorem Provers."

Andrei Voronkov (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics