Homogeneous Sets of ATP Problems.

Matthias Fuchs, Geoff Sutcliffe

Browse the full FlAIRS paper archive.