Recursive matching algorithms and linear orders on the subset lattice

From MaRDI portal
Publication:1239735