Search strategies for resolution in temporal logics (1996)

by C DIXON
Venue:In Proc. CADE-13. LNAI