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