@inproceedings{AEM:APLAS:12,
 author    = "M. Avanzini and N. Eguchi and G. Moser",
 title     = {{A New Order-theoretic Characterisation of the Polytime Computable Functions}},
 booktitle = "Proceedings of the \nth{10} Asian Symposium on Programming Languages and Systems",
 series    = "Lecture Notes in Computer Science",
 volume    = "7705",
 year      = 2012,
 pages     = "280--295",
 publisher = "Springer Verlag Heidelberg",
}