@inproceedings{AE:DICE:14,
 author    = "M. Avanzini and N. Eguchi",
 title     = {{A New Term Rewriting Characterisation of ETIME functions}},
 booktitle = "Proceedings of the 5th International Workshop on Developments in Implicit Complexity",
 year      = 2014,
}