DOI,IST REx ID,Title of publication
10.1007/978-3-540-30536-1_13,3896,Complexity of compositional model checking of computation tree logic on simple structures