Inverting abstract unification for set-sharing.

Xuan Li, Lunjin Lu

Browse the full PPDP paper archive.