Decision procedures for constraint based extensions of Datalog (1993)

by J Cox, K McAloon
Venue:Constraint Logic Programming: Selected Research