Every self-dual ordering has a self-dual linear extension

From MaRDI portal
Publication:581422