Bonnie Traylor;Michael Gelfond
-;-
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming