TY - RPRT TI - A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP AU - Manuel Bodirsky AU - Florent Madelaine AU - Antoine Mottet PY - 2020 UR - https://arxiv.org/abs/1802.03255 ID - 1802.03255 ER -