TY - JOUR T1 - On the First-Order Complexity of Induced Subgraph Isomorphism JO - Logical Methods in Computer Science UR - https://doi.org/10.23638/lmcs-15(1:25)2019 PY - 2019/03/06 AU - Verbitsky O AU - Zhukovskii M ED - DO - DOI: 10.23638/lmcs-15(1:25)2019 PB - Centre pour la Communication Scientifique Directe (CCSD) VL - Volume 15, Issue 1 Y2 - 2025/11/26 ER -