Bringing Closure to Theory Combination Properties.

Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar

Browse the full IJCAR paper archive.