@article{Buna-MargineanChevalShirmohammadiWorrell:POPL:2024,
    title = {On Learning Polynomial Recursive Programs},
    volume = {8},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3632876},
    doi = {10.1145/3632876},
    number = {POPL},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Buna-Marginean, Alex and Cheval, Vincent and Shirmohammadi, Mahsa and Worrell, James},
    year = {2024},
    month = {jan},
    pages = {1001-–1027},
    date-added = {2024-1-18 8:49:41 +0100}
}

@article{Buna-MargineanChevalShirmohammadiWorrell:POPL:2024, title = {On Learning Polynomial Recursive Programs}, volume = {8}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3632876}, doi = {10.1145/3632876}, number = {POPL}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, author = {Buna-Marginean, Alex and Cheval, Vincent and Shirmohammadi, Mahsa and Worrell, James}, year = {2024}, month = {jan}, pages = {1001-–1027}, date-added = {2024-1-18 8:49:41 +0100} }