M.: Clausal temporal resolution (0)

by M Fisher, C Dixon, Peim
Venue:ACM Transactions on Computational Logic