Author:
de Schreye Danny,Decorte Stefaan
Reference119 articles.
1. On the Convergence of Query Evaluation;Afrati;Journal of Computer and System Sciences,1989
2. Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewrite Systems;Aguzzi;Proceedings of Foundations of Software Technology And Theoretical Computer Science,1993
3. The Design and Analysis of Computer Algorithms;Aho,1974
4. A Theory of First-Order Built-In's of Prolog;Apt;Proceedings of Algebraic and Logic Programming 92,1992
5. Why the Occur-Check is not a Problem;Apt,1992
Cited by
136 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献