@incollection{Kauers_2013,
    doi = {10.1007/978-3-7091-1616-6_5},
    url = {https://doi.org/10.1007%2F978-3-7091-1616-6_5},
    year = {2013},
    publisher = {Springer Vienna},
    pages = {119--144},
    author = {Manuel Kauers},
    title = {The Holonomic Toolkit},
    booktitle = {Texts {\&} Monographs in Symbolic Computation}
}

@incollection{Kauers_2013, doi = {10.1007/978-3-7091-1616-6_5}, url = {https://doi.org/10.1007%2F978-3-7091-1616-6_5}, year = {2013}, publisher = {Springer Vienna}, pages = {119--144}, author = {Manuel Kauers}, title = {The Holonomic Toolkit}, booktitle = {Texts {\&} Monographs in Symbolic Computation} }