Towards ILP-based LTLf passive learning. - Ielo, Antonio; Law, Mark; Fionda, Valeria; Ricca, Francesco; Giacomo, Giuseppe De; Russo, Alessandra (Journal of Logic & Computation, 2026)