A note on linear resolution strategies in consequence-finding (Q2557565)

From MaRDI portal