Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. H. Aït-Kaci and A. Podelski. Towards a meaning of life. Journal of Logic Programming, 16:195–234, 1993.
2. S. Antoy. Definitional trees. In Int. Conf. on Algebraic and Logic Programming ALP'92, Springer LNCS 632, pages 143–157. Springer-Verlag, 1992.
3. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages 268–279, 1994.
4. M. Aronsson. A definitional approach to the combination of functional and relational programming. Research Report SICS T91:10, Swedish Institute of Computer Science, 1991.
5. M. Aronsson. Methodology and programming techniques in GCLAII. In Proc. of Extensions of logic programming, ELP'91, Springer LNAI 596, 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献