Martín Abadi;Zohar Manna
-;-
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Clausal temporal resolution
ACM Transactions on Computational Logic (TOCL)
Invariant-Free Clausal Temporal Resolution
Journal of Automated Reasoning