Golovach, P. A., Stamoulis, G., & Thilikos, D. M. (2022). Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes.
Chicago-Zitierstil (17. Ausg.)Golovach, Petr A., Giannos Stamoulis, und Dimitrios M. Thilikos. Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes. 2022.
MLA-Zitierstil (9. Ausg.)Golovach, Petr A., et al. Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes. 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.