"GRUNGE: A Grand Unified ATP Challenge."

Chad E. Brown et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics