@InProceedings{Sch25,
    Author       = "Schulz, S.",
    Year         = "2025",
    Title        = "{Shared Terms and Cached Rewriting}",
    Editor       = "Korovin, K. and Schulz, S. and Rawson, M.",
    BookTitle    = "{Proceedings of the 14th and 15th International Workshops on the Implementation
                    of Logics}",
    Place        = "Balaclava, Mauritius",
    Series       = "Kalpa Publications in Computing",
    Number       = "21",
    Pages        = "18-33",
    Publisher    = "EasyChair",
    Address      = "Manchester, United Kingdom",
    DOI          = "{10.29007/4vf1}",
    Comment      = ""
}