Undecidable optimization problems for database logic programs

From MaRDI portal
Publication:3140022