Ian Wood J. Walter Larson Henry Gardner A Vision and Agenda for Theory Provenance in Scientific Publishing. 112-121 2009 DASFAA Workshops http://dx.doi.org/10.1007/978-3-642-04205-8_11 conf/dasfaa/2009w db/conf/dasfaa/dasfaa2009w.html#WoodLG09