One-context Unification with STG-Compressed Terms is in NP (2012)

by Carles Creus, Adrià Gascón, Guillem Godoy