On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. - Eberbach, Eugene (Fundamenta Informaticae, 2022)