FILO - automated unification in ℱℒ0. - Barbara Morawska 003; Dariusz Marzec; Slawomir Kost; Michal Henne (CoRR, 2025)