TY - JOUR T1 - On the first-order complexity of induced subgraph isomorphism JO - Logical Methods in Computer Science PY - 2019/01/01 AU - Verbitsky O AU - Zhukovskii M ED - DO - DOI: 10.23638/LMCS-15(1:25)2019 VL - 15 IS - 1 SP - 25:1 EP - 25:24 Y2 - 2025/07/07 ER -