TY  - RPRT
TI  - Computing unsatisfiable cores for LTLf specifications
AU  - Marco Roveri
AU  - Claudio Di Ciccio
AU  - Chiara Di Francescomarino
AU  - Chiara Ghidini
PY  - 2022
DO  - 10.1613/jair.1.15313
UR  - https://arxiv.org/abs/2203.04834
ID  - 2203.04834
ER  -