A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees.

Evgeny Dantsin, Andrei Voronkov

Browse the full FOSSACS paper archive.