Signed data dependencies in logic programming (1989)

by K Kunen
Venue:J. Logic Programming