Anti-Unification of Unordered Goals.

Gonzague Yernaux, Wim Vanhoof

Browse the full CSL paper archive.