共 50 条
- [32] Typed higher-order narrowing without higher-order strategies FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
- [39] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493