Lan Zhang. Clausal reasoning for branching-time logics. PhD thesis, University of Liverpool, UK, 2010. [doi]
@phdthesis{ethos-3116, title = {Clausal reasoning for branching-time logics}, author = {Lan Zhang}, year = {2010}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539540}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-3116}, cites = {0}, citedby = {0}, school = {University of Liverpool, UK}, }