@misc{indiciae4c700329deb7, title = {Clique and Vertex Cover are solvable in polynomial time if the input structure is ordered and contains a successor predicate}, author = {Prabhu Manyem}, year = {2022}, url = {https://arxiv.org/abs/0909.5521}, note = {Source identifier: 0909.5521} }