@conference{ALLHK2010,
  title = "Extended Comptation Tree Logic (Extended Abstract)",
  author = "R. Alexsson, M. Hague, S. Kreutzer, M. Lange, M. Latte",
  year = "2010",
  booktitle = "LPAR",
}