Residuation in structures over which a multiplication is defined.

From MaRDI portal
Publication:2604406