Matthias Fuchs Geoff Sutcliffe Homogeneous Sets of ATP Problems. 57-61 2002 conf/flairs/2002 FLAIRS Conference db/conf/flairs/flairs2002.html#FuchsS02