Module theorem for the general theory of stable models
From MaRDI portal
Publication:4911145
DOI10.1017/S1471068412000269zbMath1261.68037arXiv1210.5222MaRDI QIDQ4911145
Publication date: 13 March 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.5222
Uses Software
Cites Work