Formal Explanations for Linear Temporal Logic over Finite Traces

This paper is waiting its turn. The original abstract is at the bottom of the page.