Publisher
Springer Berlin Heidelberg
Reference129 articles.
1. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Proc. ACM Symp. on Principles of Programming Languages (POPL’94), ACM Press, pages 268–279, 1994.
2. Lect Notes Comput Sci;S. Antoy,2000
3. H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations and functions. In Proc. IEEE Int. Symp. on Logic Programming, IEEE Comp. Soc. Press, pages 17–23, 1987.
4. Lect Notes Comput Sci;J. Avenhaus,1994
5. Lect Notes Comput Sci;S. Antoy,1991
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献