A Rewrite Mechanism for Logic Programs with Negation

Siva Anantharaman, Gilles Richard. A Rewrite Mechanism for Logic Programs with Negation. Theoretical Computer Science, 192(1):77-106, 1998. [doi]

Abstract

Abstract is missing.