A Decision Method for Linear Temporal Logic

Nonclausal deduction in first-order temporal logic

Journal of the ACM (JACM)

Temporal Logic-Based Deadlock Analysis for Ada

IEEE Transactions on Software Engineering

Clausal temporal resolution

ACM Transactions on Computational Logic (TOCL)

Temporal resolution using a breadth-first search

Annals of Mathematics and Artificial Intelligence

Clausal resolution in a logic of rational agency

Artificial Intelligence

Algorithms for Guiding Clausal Temporal Resolution

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence

A method of automatic proof for the specification and verification of protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

Logic morphisms as a framework for backward transfer of lemmas and strategies in some modal and epistemic logics

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

Connection based strategies for deciding propositional temporal logic

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Labelled superposition for PLTL

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Invariant-Free Clausal Temporal Resolution

Journal of Automated Reasoning