A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.

Peter Z. Revesz A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. 117-149 1993 116 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs116.html#Revesz93