On Two-variable First-order Logic with a Partial Order. - Dariusz Marzec; Lidia Tendera (CILC, 2024)

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