Theorem-proving for discrete temporal logic

Abstract

Full Paper

not available at the moment

Status

Appeared in print in 2005.

Bibtex

@incollection{ReyDix:tpdtl,
    author="M. Reynolds and C. Dixon",
    title="Theorem-proving for discrete temporal logic",
booktitle="Handbook of Temporal Reasoning in Artificial Intelligence",
    editors="M. Fisher and D. Gabbay and L. Vila",
    year="2005",
pages="279--314",
    publisher="Elsevier",
}