|
David Pearce and Gerd Wagner (1991): Logic Programming with Strong Negation
Title: |
Logic Programming with Strong Negation |
Author(s): |
David Pearce and Gerd Wagner |
Year: |
1991 |
Booktitle: |
Extensions of Logic Programming |
Editor(s): |
P. Schroeder--Heister |
Number: |
475 |
Pages: |
311-326 |
Publisher: |
Springer |
Address: |
Berlin |
Concepts
|
|