"Introducing StarExec: a Cross-Community Infrastructure for Logic Solving."

Aaron Stump, Geoff Sutcliffe, Cesare Tinelli (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics