A completion procedure for conditional equations
scientific article; zbMATH DE number 4195189
scientific article