@article{https://doi.org/10.3929/ethz-b-000428710,<br/><span class="tab"></span>
  doi = {10.3929/ETHZ-B-000428710},<br/><span class="tab"></span>
  url = {http://hdl.handle.net/20.500.11850/428710},<br/><span class="tab"></span>
  author = {{Ruij,<br/><span class="tab"></span> Ben}},<br/><span class="tab"></span>
  language = {en},<br/><span class="tab"></span>
  title = {ReFORM: Designing a new symbolic manipulation toolkit},<br/><span class="tab"></span>
  publisher = {ETH Zurich},<br/><span class="tab"></span>
  year = {2020},<br/><span class="tab"></span>
  copyright = {Creative Commons Attribution 3.0 Unported}
}