@misc{indiciaea9119eae9e72,
  title = {Existential Second Order Logic Expression With Horn First Order for Maximum Clique (Decision Version)},
  author = {Prabhu Manyem},
  year = {2010},
  url = {https://arxiv.org/abs/1004.1814},
  note = {Source identifier: 1004.1814}
}