Kurucz, Á., Bereczky, P., & Horpácsi, D. (2024, October 31). Unification in Matching Logic -- Revisited. arXiv.org. https://doi.org/10.48550/arxiv.2410.23760
Citace podle Chicago (17th ed.)Kurucz, Ádám, Péter Bereczky, a Dániel Horpácsi. "Unification in Matching Logic -- Revisited." ArXiv.org 31 Oct. 2024. https://doi.org/10.48550/arxiv.2410.23760.
Citace podle MLA (9th ed.)Kurucz, Ádám, et al. "Unification in Matching Logic -- Revisited." ArXiv.org, 31 Oct. 2024, https://doi.org/10.48550/arxiv.2410.23760.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..