David Basin and Harald Ganzinger. Complexity Analysis Based on Ordered Resolution. In Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 456--465, New Brunswick, New Jersey, USA, July 27--30, 1996. IEEE Computer Society Press.