@misc{CTT100687340,
  author = {Ryo Kashima},
  title = {Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL},
  year = 2012,
}