Extending S-Models to Logic Programs with Negation

@inproceedings{Turi1991ExtendingST,
  title={Extending S-Models to Logic Programs with Negation},
  author={Daniele Turi},
  booktitle={ICLP},
  year={1991}
}