@article{Ben-Amram:ranking,
    author      = "Amir M. Ben-Amram",
    title       = "A Complexity Tradeoff in ranking-Function Termination Proofs",
    note        = "to appear",
    journal      ={Acta Informatica},
    year        = 2008
}