Publication:4800167
From MaRDI portal
zbMath1010.68777MaRDI QIDQ4800167
Publication date: 21 May 2003
Related Items
Logic programming with infinite sets, Reasoning with infinite stable models, Erratum to: ``Reasoning with infinite stable models
Uses Software