Viktor Schuppan. Extracting Unsatisfiable Cores for LTL via Temporal Resolution. In 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. pages 54-61, IEEE, 2013. [doi]
Abstract is missing.