@misc{indiciaee5581e4d8b51,
  title = {Symbolic Computation via Program Transformation},
  author = {Henrich Lauko and Petr Ročkai and Jiří Barnat},
  year = {2018},
  doi = {10.1007/978-3-030-02508-3\_17},
  url = {https://arxiv.org/abs/1806.03959},
  note = {Source identifier: 1806.03959}
}