Related references
Note: Only part of the references are listed.
Article
Computer Science, Information Systems
Past is for free: on the complexity of verifying linear temporal properties with past
N Markey
ACTA INFORMATICA (2004)