Jansson, ChristianChristianJansson2021-02-112021-02-112001Symbolic algebraic methods and verification methods: 117–128 (2001)http://hdl.handle.net/11420/8759enInformatikMathematikQuasi convex-concave extensionsBook Part10.1007/978-3-7091-6280-4_12Other