1. Proc. of the Int. Conf. on Comp. Aided Verification (CAV-96);Alur,1996
2. Efficient local model-checking for fragments of the modal μ-calculus;Bhat,1996
3. Efficient on-the-fly model checking for CTL*;Bhat,1995
4. A modal perspective on computational complexity of attribute value grammar;Blackburn;J. Logic, Language Inform.,1993
5. Structured objects: Modeling and reasoning;Calvanese,1995