@inproceedings{ShYi2000a,
   author = {Nikolay Shilov and Kwangkeun Yi},
   title = {A New Proof of Exponential Decidability for Propositional Mu-Calculus with Program Converse},
   booktitle = {{III} International Conference on Theoretical Aspects of Computer Science},
   address = {Novi Sad, Yugoslavia},
   month = {September},
   year = {2000},
   format = {ps.gz},
   category = {conference program-logics},
}