Sign in
A clausal resolution method for extended computation tree logic ECTL.
Alexander Bolotov
Artie Basukoski
Published in:
J. Appl. Log. (2006)
Keyphrases
</>
temporal resolution
high resolution