Publication:4955327
From MaRDI portal
zbMath0953.68030MaRDI QIDQ4955327
Douglas Cenzer, Amy Vanderbilt, Jeffery B. Remmel
Publication date: 25 May 2000
68N17: Logic programming
Related Items
Reasoning with infinite stable models, My work with Victor Marek: a mathematician looks at answer set programming