@inproceedings{inproceedings, title = {{On the first-order complexity of induced subgraph isomorphism}}, url = {{}}, year = {{2017}}, month = {{8}}, author = {{Verbitsky O and Zhukovskii M}}, doi = {{10.4230/LIPIcs.CSL.2017.40}}, volume = {{82}}, journal = {{Leibniz International Proceedings in Informatics Lipics}}, note = {{Accessed on 2025/11/26}}}