共 50 条
- [4] THE DEEVOLUTION OF CONCURRENT LOGIC PROGRAMMING-LANGUAGES JOURNAL OF LOGIC PROGRAMMING, 1995, 23 (02): : 89 - 123
- [8] IMPLEMENTING LAMBDA-CALCULUS REDUCTION STRATEGIES IN EXTENDED LOGIC PROGRAMMING-LANGUAGES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 193 - 219
- [10] DETERMINACY TESTING FOR NONDETERMINATE LOGIC PROGRAMMING-LANGUAGES ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (01): : 3 - 34