Monadic Second-Order Unification Is NP-Complete | Publicación