@ARTICLE{KDDFH2005,
 AUTHOR        = {Boris Konev and Anatoli Degtyarev and Clare Dixon and 
 Michael Fisher and Ullrich Hustadt},
 TITLE         = {Mechanising first-order temporal resolution},
 JOURNAL       = {Information and Computation},
 YEAR          = {2005},
 VOLUME        = {199},
 NUMBER        = {1--2},
 PAGES         = {55--86},
 URL           = {}
}