共 50 条
- [43] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
- [48] THE BACKGROUND TO T-QUARK SIGNALS FROM HIGHER-ORDER QCD CONTRIBUTIONS PHYSICAL REVIEW D, 1984, 29 (09): : 1923 - 1927