MoL-2005-08: da Melo, Gustavo Lacerda (2005) Automating Normal Science: Reusing Exemplars in Quantitative Explanations. [Report]