Zhang, Lan; Hustadt, Ullrich and Dixon, Clare (2014) A resolution calculus for branching-time temporal logic CTL. ACM Transactions on Computational Logic, 15 (1). Article Number: 1. ISSN 1557-945X (Online); 1529-3785 (Print) (In Press)
Zhang, Lan (2010) Clausal reasoning for branching-time logics. Doctoral thesis, University of Liverpool.
These pages are maintained by Library Staff @ University of Liverpool Library