David Pearce, Gerd Wagner. Logic Programming with Strong Negation. In Peter Schroeder-Heister, editor, Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings. Volume 475 of Lecture Notes in Computer Science, pages 311-326, Springer, 1989.
Abstract is missing.