TY  - RPRT
TI  - Clique and Vertex Cover are solvable in polynomial time if the input structure is ordered and contains a successor predicate
AU  - Prabhu Manyem
PY  - 2022
UR  - https://arxiv.org/abs/0909.5521
ID  - 0909.5521
ER  -