David Toman Computing the Well-Founded Semantics for Constraint Extensions of Datalog. 64-79 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#Toman97