Search strategies for resolution in temporal logics

This publication has 11 references indexed in Scilit:

• Temporal resolution: a breadth-first search approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Nonclausal deduction in first-order temporal logic
  Journal of the ACM, 1990
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• 7th International Conference on Automated Deduction
  Published by Springer Nature ,1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Verifying Concurrent Processes Using Temporal Logic
  Published by Springer Nature ,1982
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965