@unpublished{ShilovYi00tara,
  author = "Nikolay Shilov and Kwangkeun Yi",
  title = "A New Proof of Exponential Decidability for Propositional Mu-Calculus with Program Converse",
  month = "June",
  year = "2000",
  note = "Has been accepted for presentation on III International Conference on Theoretical Aspects of Computer Science, September 4-7, 2000, Novi Sad, Yugoslavia"
}