Signed Data Dependencies in Logic Programs.

Kenneth Kunen Signed Data Dependencies in Logic Programs. 231-245 1989 7 J. Log. Program. 3 db/journals/jlp/jlp7.html#Kunen89