Type K monotone systems with an order-increasing invariant function

From MaRDI portal