Keyword:Provenance

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