Homogeneous Sets of ATP Problems

by
Matthias Fuchs Automated Reasoning Group, RSISE Australian National University Australia matthias.fuchs@sap.com	Geoff Sutcliffe Department of Computer Science University of Miami USA geoff@cs.miami.edu