Verifying gross substitutability.

From MaRDI portal
Publication:1852660