Kurucz, Á., Bereczky, P., & Horpácsi, D. (2024, October 31). Unification in Matching Logic -- Revisited. arXiv.org. https://doi.org/10.48550/arxiv.2410.23760
Chicago Style (17th ed.) CitationKurucz, Ádám, Péter Bereczky, and Dániel Horpácsi. "Unification in Matching Logic -- Revisited." ArXiv.org 31 Oct. 2024. https://doi.org/10.48550/arxiv.2410.23760.
MLA (9th ed.) CitationKurucz, Ádám, et al. "Unification in Matching Logic -- Revisited." ArXiv.org, 31 Oct. 2024, https://doi.org/10.48550/arxiv.2410.23760.
Warning: These citations may not always be 100% accurate.