Martín Abadi
Martín Abadi and Zohar Manna.
Nonclausal deduction in first-order temporal logic.
Journal of the ACM
, 37(2):279-317, April 1990.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database