Signed data dependencies in logic programming (1989)

by K Kunen
Venue:Journal of Logic Programming