3 citations · 3 across the 1 of their papers we have counts for
1 paper
Paulo A. S. Veloso, Sheila R. M. Veloso
We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty ex…