@ARTICLE{ZHD2010a,
 AUTHOR  = {Zhang, Lan and Hustadt, Ullrich and Dixon, Clare},
 TITLE   = {{CTL-RP}: A computation tree logic resolution prover},
 JOURNAL = {AI Communications},
 VOLUME  = {23},
 NUMBER  = {2--3},
 PAGES   = {111-136},
 YEAR    = {2010},
}