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