Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
scientific article; zbMATH DE number 1371591