Approved Models for Normal Logic Programs (Q3498486)

From MaRDI portal