Predicate Introduction Under Stable and Well-Founded Semantics
From MaRDI portal
Publication:5449604
DOI10.1007/11799573_19zbMath1131.68405OpenAlexW1825352045MaRDI QIDQ5449604
Johan Wittocx, Marc Denecker, Maurice Bruynooghe, Joost Vennekens, Maarten Mariën
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/166812
Related Items (1)
This page was built for publication: Predicate Introduction Under Stable and Well-Founded Semantics