Colin Bell Anil Nerode Raymond T. Ng V. S. Subrahmanian Implementing Stable Semantics by Linear Programming. 23-42 1993 LPNMR db/conf/lpnmr/lpnmr93.html#BellNNS93