Artie Basukoski. Temporal resolution for branching time logics : extensions and complexity. PhD thesis, University of Westminster, London, UK, 2006. [doi]
@phdthesis{ethos-4489,
title = {Temporal resolution for branching time logics : extensions and complexity},
author = {Artie Basukoski},
year = {2006},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.434294},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-4489},
cites = {0},
citedby = {0},
school = {University of Westminster, London, UK},
}