Property Enumerators and a Partial Sum Theorem ShamosMichael I. 2011 Institute for Software Research