Implementing Stable Semantics by Linear Programming

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Implementing Stable Semantics by Linear Programming. In LPNMR. pages 23-42, 1993.

Abstract

Abstract is missing.