A decision procedure for combinations of propositional temporal logic and other specialized theories

Nonclausal deduction in first-order temporal logic

Journal of the ACM (JACM)

Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction

Noetherianity and Combination Problems

FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems

A Decidability Result for the Model Checking of Infinite-State Systems

Journal of Automated Reasoning

On The Satisfiability Problem For Lamport'S Propositional Temporal Logic Of Actions And Some Of Its Extensions

Fundamenta Informaticae