From Here to Provtopia.

Thomas F. J.-M. Pasquier, David M. Eyers, Margo I. Seltzer

Browse the full VLDB paper archive.