1 citations · 1 across the 1 of their papers we have counts for
1 paper
Erich Grädel, Val Tannen
A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditiona…