Unification in Matching Logic - Revisited. - Ádám Kurucz; Péter Bereczky; Dániel Horpácsi (FROM, 2024)