On the subdependency.

From MaRDI portal
Publication:2587696