@article{McDowell_2000,
    doi = {10.1016/s0304-3975(99)00171-1},
    url = {https://doi.org/10.1016%2Fs0304-3975%2899%2900171-1},
    year = {2000},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {232},
    number = {1-2},
    pages = {91--119},
    author = {Raymond McDowell and Dale Miller},
    title = {Cut-elimination for a logic with definitions and induction},
    journal = {Theoretical Computer Science}
}

@article{McDowell_2000, doi = {10.1016/s0304-3975(99)00171-1}, url = {https://doi.org/10.1016%2Fs0304-3975%2899%2900171-1}, year = {2000}, month = {feb}, publisher = {Elsevier {BV}}, volume = {232}, number = {1-2}, pages = {91--119}, author = {Raymond McDowell and Dale Miller}, title = {Cut-elimination for a logic with definitions and induction}, journal = {Theoretical Computer Science} }