@incollection{Cichon_1993,
    doi = {10.1017/cbo9780511896262.008},
    url = {https://doi.org/10.1017%2Fcbo9780511896262.008},
    year = {1993},
    month = {feb},
    publisher = {Cambridge University Press},
    pages = {171--194},
    author = {E.A. Cichon},
    title = {Termination orderings and complexity characterisations},
    booktitle = {Proof Theory}
}

@incollection{Cichon_1993, doi = {10.1017/cbo9780511896262.008}, url = {https://doi.org/10.1017%2Fcbo9780511896262.008}, year = {1993}, month = {feb}, publisher = {Cambridge University Press}, pages = {171--194}, author = {E.A. Cichon}, title = {Termination orderings and complexity characterisations}, booktitle = {Proof Theory} }