Decision Procedures for Constraint Based Extensions of Datalog (1993)

by J Cox, K McAloon