TY - RPRT TI - Dichotomies and Duality in First-order Model Checking Problems AU - Barnaby Martin PY - 2006 UR - https://arxiv.org/abs/cs/0609022 ID - cs/0609022 ER -