Nalon, C., Zhang, L., Dixon, C., and Hustadt U.
A resolution-based calculus for Coalition Logic (Extended Version)
University of Liverpool Technical Report number ULCS-13-004 (2013)
Zhang, L., Hustadt, U. and Dixon C.
First-order Resolution for CTL
University of Liverpool Technical Report number ULCS-08-010 (2008)