TY - CONF T1 - On the first-order complexity of induced subgraph isomorphism JO - Leibniz International Proceedings in Informatics Lipics PY - 2017/08/01 AU - Verbitsky O AU - Zhukovskii M ED - DO - DOI: 10.4230/LIPIcs.CSL.2017.40 VL - 82 Y2 - 2025/11/26 ER -