Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.

Olivier Laurent, Lorenzo Tortora de Falco

Browse the full LICS paper archive.