@inproceedings{AM:RTA:10,
 author    = "M. Avanzini and G.Moser",
 title     = {{Closing the Gap Between Runtime Complexity and Polytime Computability}},
 booktitle = "Proceedings of the \nst{21} International Conference on Rewriting Techniques and Applications",
 series    = "Leibnitz International Proceedings in Informatics",
 volume    = "6",
 year      = 2010,
 pages     = "33--48",
 publisher = "Leibnitz Zentrum für Informatik",
}