Boundedness theorems by two Lyapunov functions

From MaRDI portal