Extending S-Models to Logic Programs with Negation.

Daniele Turi

Browse the full ICLP paper archive.