10 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
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…