@article{Champion_2020,
    doi = {10.1007/s10817-020-09571-y},
    url = {https://doi.org/10.1007%2Fs10817-020-09571-y},
    year = {2020},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {64},
    number = {7},
    pages = {1393--1418},
    author = {Adrien Champion and Tomoya Chiba and Naoki Kobayashi and Ryosuke Sato},
    title = {{ICE}-Based Refinement Type Discovery for Higher-Order Functional Programs},
    journal = {Journal of Automated Reasoning}
}

@article{Champion_2020, doi = {10.1007/s10817-020-09571-y}, url = {https://doi.org/10.1007%2Fs10817-020-09571-y}, year = {2020}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {64}, number = {7}, pages = {1393--1418}, author = {Adrien Champion and Tomoya Chiba and Naoki Kobayashi and Ryosuke Sato}, title = {{ICE}-Based Refinement Type Discovery for Higher-Order Functional Programs}, journal = {Journal of Automated Reasoning} }