@InProceedings{Schulz:IWIL-2025,
  author =       {Stephan Schulz},
  title =        {Shared Terms and Cached Rewriting},
  booktitle =    {Proceedings of the 14th and 15th International
                  Workshops on the Implementation of Logics},
  editor =       {Konstantin Korovin and Stephan Schulz and Michael Rawson},
  series =       {Kalpa Publications in Computing},
  volume =       {21},
  year =         {2025},
  url =          {https://easychair.org/publications/paper/PF9F},
  doi =          {10.29007/4vf1},
  pages =        {18-33},
  publisher =    {EasyChair},
  bibsource =    {EasyChair, https://easychair.org},
  issn =         {2515-1762},
}