Clausal Temporal Resolution (2001)

by M Fisher, C Dixon, M Peim
Venue:Proc. FMIS 2009 12 / 14 [FDP01