A rewrite mechanism for logic programs with negation
From MaRDI portal
Publication:1127337
DOI10.1016/S0304-3975(97)00146-1zbMath0895.68076MaRDI QIDQ1127337
Siva Anantharaman, Gilles Richard
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (1)
Cites Work
This page was built for publication: A rewrite mechanism for logic programs with negation