# LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner

> Research article (Journal of Artificial Intelligence Research, 2018) · cited 34× · AI/ML

**Wikidata**: [openalex:W2902993161](https://www.wikidata.org/wiki/openalex:W2902993161)  
**Source**: https://4ort.xyz/entity/ltl-on-finite-and-process-traces-complexity-results-and-a-practical-reasoner