File space utilization in database conversion

From MaRDI portal
Publication:1108069