Complexity Analysis Based on Ordered Resolution.

David A. Basin, Harald Ganzinger

Browse the full LICS paper archive.