Keyword:Provenance

Papers
Efficient Provenance-Aware Querying of Graph Databases with Datalog Yann Ramusat, Silviu Maniu and Pierre Senellart EasyChair Preprint no. 8978
Razor: Provenance and Exploration in Model-Finding Salman Saghafi and Daniel Dougherty In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning