One-context unification with STG-compressed terms is in NP. (2012)

by A G Carles Creus, G Godoy
Venue:In Proceedings of the 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,