Optimal Unification of Bounded Simple Set Terms.

Sergio Greco

Browse the full CIKM paper archive.