Automata-based LTL_f Satisfiability Checking via ASP - Andrea Cuteri; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (2024., 2024)