Automated complexity analysis based on ordered resolution (0)

by D Basin, H Ganzinger
Venue:Journal of the ACM