@conference{AM:RTA:10,
 author    = {Martin Avanzini and
                  Georg Moser},
 title     = {Closing the Gap Between Runtime Complexity and Polytime Computability},
 year      = {2010},
 booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
                  and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
                  {UK}},
 series    = {LIPIcs},
 volume    = {6},
 pages     = {33--48},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 doi       = {10.4230/LIPICS.RTA.2010.33},
 keywords  = {conference}
}