Generating boxes from ordered sets and graphs

From MaRDI portal
Publication:1803662