When Separation Arithmetic is Enough.

Jean-Christophe Fillitre, Andrei Paskevich, Olivier Danvy

Browse the full IFM paper archive.