A necessary and sufficient condition for a loop to be a po-loop

From MaRDI portal
Publication:2841561