Camera-ready version of extended abstract for ProvBench '13.