Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
scientific article; zbMATH DE number 1252381