@article{Cardelli_2019,
    title = {Symbolic computation of differential equivalences},
    volume = {777},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/j.tcs.2019.03.018},
    doi = {10.1016/j.tcs.2019.03.018},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea},
    year = {2019},
    month = {jul},
    pages = {132–154},
    date-added = {2024-4-29 14:11:9 +0100}
}

@article{Cardelli_2019, title = {Symbolic computation of differential equivalences}, volume = {777}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/j.tcs.2019.03.018}, doi = {10.1016/j.tcs.2019.03.018}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea}, year = {2019}, month = {jul}, pages = {132–154}, date-added = {2024-4-29 14:11:9 +0100} }