See how this article has been cited at scite.ai
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
We improved the Lemma 1 according to the comments of the reviewer Sergi Simon. Besides, we added a Discussion section where we contributed and included important remarks to the final result. In addition, we picked up the discipline of "Data structures and Algorithms" since it is very close to the scope of the paper as well.
Fortnow Lance. The status of the P versus NP problem. Communications of the ACM. Vol. 52(9):78–86. 2009. Association for Computing Machinery (ACM). [Cross Ref]