Complexity verification using guided theorem enumeration. - Akhilesh Srikanth; Burak Sahin; William R. Harris (POPL, 2017)