Arity bounds in first-order incremental evaluation and definition of polynomial time database queries (1998)

by G Dong, J Su
Venue:J. Comput. Syst. Sci