Logical reduction tests for the p-problem

From MaRDI portal
Publication:1290132