Bell C, Nerode A, Ng RT, V.S. Subrahmanian.  2004.  Implementing stable semantics by linear programming. Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop. 7:23-42.