A Refined Resolution Calculus for CTL. - Lan Zhang 001; Ullrich Hustadt; Clare Dixon (CADE, 2009)

CTL-RP: A computation tree logic resolution prover. - Lan Zhang 001; Ullrich Hustadt; Clare Dixon (AI Commun., 2010)

Clausal reasoning for branching-time logics. - Lan Zhang 001 (2010)

A Resolution Prover for Coalition Logic. - Cláudia Nalon; Lan Zhang 001; Clare Dixon; Ullrich Hustadt (SR, 2014)

A resolution-based calculus for Coalition Logic. - Cláudia Nalon; Lan Zhang 001; Clare Dixon; Ullrich Hustadt (J. Log. Comput., 2014)

A resolution calculus for the branching-time temporal logic CTL. - Lan Zhang 001; Ullrich Hustadt; Clare Dixon (ACM Trans. Comput. Log., 2014)

Ordered Resolution for Coalition Logic. - Ullrich Hustadt; Paul Gainer; Clare Dixon; Cláudia Nalon; Lan Zhang 001 (TABLEAUX, 2015)