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 SN - 9783959770453 VL - 82 Y2 - 2025/04/09 ER -