Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Implementing Stable Semantics by Linear Programming. In LPNMR. pages 23-42, 1993.
@inproceedings{BellNNS93, title = {Implementing Stable Semantics by Linear Programming}, author = {Colin Bell and Anil Nerode and Raymond T. Ng and V. S. Subrahmanian}, year = {1993}, tags = {semantics, programming}, researchr = {https://researchr.org/publication/BellNNS93}, cites = {0}, citedby = {0}, pages = {23-42}, booktitle = {LPNMR}, }