Zhang, Lan; Hustadt, Ullrich and Dixon, Clare A resolution calculus for branching-time temporal logic CTL. ACM Transactions on Computational Logic . 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