共 50 条
- [31] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
- [35] OPTIMUM INSURANCE CONTRACTS WITH BACKGROUND RISK AND HIGHER-ORDER RISK ATTITUDES ASTIN BULLETIN, 2018, 48 (03): : 1025 - 1047