@InProceedings{LaurentTortora06,
  author    = {Olivier Laurent and Tortora de Falco, Lorenzo},
  title     = {Obsessional cliques: a semantic characterization of bounded time complexity},
  booktitle = {Proceedings of the twenty-first annual {IEEE} symposium on {L}ogic {I}n {C}omputer {S}cience},
  publisher = {IEEE Computer Society Press},
  pages     = {179--188},
  month     = aug,
  year      = {2006}
}