TY  - RPRT
TI  - FILO -- automated unification in $\mathcal{FL}_0$
AU  - Barbara Morawska
AU  - Dariusz Marzec
AU  - Sławomir Kost
AU  - Michał Henne
PY  - 2025
UR  - https://arxiv.org/abs/2502.14130
ID  - 2502.14130
ER  -