_id,doi,title
3896,10.1007/978-3-540-30536-1_13,Complexity of compositional model checking of computation tree logic on simple structures