@inproceedings{agotnes:m4m-2007,
title = {Completeness and Complexity of Multi-Modal {CTL}},
series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
author = {T. {\AA}gotnes and W. van der Hoek and M. Wooldridge},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities (M4M5)},
volume = 231,
pages = {259--275},
year = {2009},
editor = {C. Areces and S. Demri}
}