One-context Unification with STG-Compressed Terms is in NP | Publicación