Existence of complete Lyapunov functions for semiflows on separable metric spaces
scientific article; zbMATH DE number 6031049