6 citations · 12 across the 6 of their papers we have counts for
1 paper · 2 filters
Azza Abouzied, Dana Angluin, Christos Papadimitriou +2
To help a user specify and verify quantified queries --- a class of database queries known to be very challenging for all but the most expert users --- one can question the user on…