@article{BorealeCollodiGorla_LMCS_2024,
    title = {An implicit function theorem for the stream calculus},
    volume = {Volume 20, Issue 2},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.46298/lmcs-20(2:15)2024},
    doi = {10.46298/lmcs-20(2:15)2024},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Boreale, Michele and Collodi, Luisa and Gorla, Daniele},
    year = {2024},
    month = {jun},
    date-added = {2024-10-26 11:20:57 +0100}
}

@article{BorealeCollodiGorla_LMCS_2024, title = {An implicit function theorem for the stream calculus}, volume = {Volume 20, Issue 2}, issn = {1860-5974}, url = {http://dx.doi.org/10.46298/lmcs-20(2:15)2024}, doi = {10.46298/lmcs-20(2:15)2024}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Boreale, Michele and Collodi, Luisa and Gorla, Daniele}, year = {2024}, month = {jun}, date-added = {2024-10-26 11:20:57 +0100} }