Ian Wood, J. Walter Larson, Henry Gardner. A Vision and Agenda for Theory Provenance in Scientific Publishing. In Lei Chen 0002, Chengfei Liu, Qing Liu, Ke Deng, editors, Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009. Volume 5667 of Lecture Notes in Computer Science, pages 112-121, Springer, 2009. [doi]
Abstract is missing.