TY  - RPRT
TI  - Extracting Unsatisfiable Cores for LTL via Temporal Resolution
AU  - Viktor Schuppan
PY  - 2015
DO  - 10.1007/s00236-015-0242-1
UR  - https://arxiv.org/abs/1212.3884
ID  - 1212.3884
ER  -