A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets
scientific article; zbMATH DE number 566070
scientific article