Constructive negation under the well-founded semantics
From MaRDI portal
Publication:4719367
DOI10.1016/S0743-1066(98)10027-4zbMath0937.68021MaRDI QIDQ4719367
Weidong Chen, Julie Yu-Chih Liu, Leroy Adams
Publication date: 28 May 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Uses Software