Clausal temporal resolution (2001)

by M Fisher, C Dixon, M Peim
Venue:ACM Trans. Comput. Logic