Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. ALS. Applied logic systems, inc.,
http://www.als.com
2. Chen, W., Warren, D.S.: Query evaluation under the well founded semantics. In: ACM Symposium on Principles of Database Systems, pp. 168–179 (1993)
3. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM 43(1), 20–74 (1996)
4. Cormen, T., Leiserson, C., Rivest, R.: Introduction to Algorithms. The MIT Press, Cambridge (2001)
5. Lecture Notes in Computer Science;H.-F. Guo,2001