TY - CONF T1 - Implementing stable semantics by linear programming T2 - Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop Y1 - 2004 A1 - Bell,C. A1 - Nerode,A. A1 - Ng,R. T A1 - V.S. Subrahmanian JA - Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop VL - 7 ER -