On the stable model semantics for intensional functions
From MaRDI portal
Publication:5398316
DOI10.1017/S1471068413000549zbMath1286.68041MaRDI QIDQ5398316
Joohyung Lee, Michael Bartholomew
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Cites Work