The Light Lexicographic path Ordering
<|reference_start|>The Light Lexicographic path Ordering: We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to a characterisation of the functions computable in space bounded by a polynomial in the size of the inputs.<|reference_end|>
@article{cichon2000the,
    title={The Light Lexicographic path Ordering},
    author={E.A. Cichon and J-Y. Marion},
    journal={arXiv preprint arXiv:cs/0010008},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0010008},
    primaryClass={cs.PL cs.CC}
}