| |
The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230.
|
| |
Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650.
|
| |
COMPUTATIONAL LOGIC, Vol. 2 (1995), pp. 2-2.
|
| |
Computational Logic: Logic Programming and Beyond (2002), pp. 127-134.
|
| |
In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986), pp. 1-15.
|
| |
Computational Logic — CL 2000 (2000), pp. 478-492.
|
| |
In CSL '89: Proceedings of the 3rd Workshop on Computer Science Logic (1990), pp. 382-383.
|
| |
Logic Programming (2006), pp. 56-71.
|
| |
|
| |
|
| |
Commun. ACM, Vol. 22, No. 7. (July 1979), pp. 424-436.
|
| |
Logic Programming (2001), pp. 181-196.
|
| |
Computer Languages, Systems & Structures, Vol. 35, No. 3. (October 2009), pp. 252-265.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.
|
| |
J Logic Computation, Vol. 2, No. 3. (1 June 1992), pp. 297-347.
|
| |
Logic Programming (2003), pp. 109-127.
|
| |
Extensions of Logic Programming (1996), pp. 177-191.
|
| |
In LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) (10 Jan 2006), pp. 79-98.
|
| |
In GULP (1993), pp. 267-284.
|
| |
The Journal of Logic Programming, Vol. 23, No. 2. (May 1995), pp. 125-149.
|
| |
Annals of Pure and Applied Logic, Vol. 51, No. 1-2. (14 March 1991), pp. 125-157.
|
| |
Annals of Pure and Applied Logic, Vol. 107, No. 1-3. (15 January 2001), pp. 131-163.
|
| |
In ICDE '95: Proceedings of the Eleventh International Conference on Data Engineering (1995), pp. 467-474.
|
| |
Programming Languages and Systems (2005), pp. 97-118.
|
| |
Mach. Learn., Vol. 14, No. 2. (1 February 1994), pp. 219-232.
|
| |
Logic Programming (2008), pp. 253-268.
|
| |
Logic Programming (2002), pp. 31-42.
|
| |
In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12.
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 232, No. 1-2. (2000), pp. 133-163.
|
| |
J. ACM, Vol. 49, No. 4. (2002), pp. 512-537.
|
| |
Theory Pract. Log. Program., Vol. 3, No. 1. (2003), pp. 61-94.
|
| |
Theory Pract. Log. Program., Vol. 1, No. 4. (2001), pp. 381-407.
|
| |
Programming Languages and Systems (2002), pp. 237-261.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 172-183.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 251-265.
|
| |
J. ACM, Vol. 38, No. 3. (1991), pp. 619-649.
|
| |
Logic Programming And Nonmonotonic Reasoning (1997), pp. 375-386.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (2004), pp. 26-38.
|
| |
Theoretical Computer Science, Vol. 86, No. 1. (19 August 1991), pp. 93-106.
|
| |
Logic Programming (2004), pp. 210-224.
|
| |
Automated Deduction — CADE-16 In Automated Deduction --- CADE-16 (1999), pp. 202-206.
|
| |
ACM Trans. Comput. Logic, Vol. 6, No. 2. (April 2005), pp. 203-231.
|
| |
Computational Logic: Logic Programming and Beyond (2002), pp. 171-197.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 12, No. 1. (1 March 1994), pp. 1-24.
|
| |
|
| |
In ISLP (1991), pp. 321-336.
|
| |
J. Log. Program., Vol. 15, No. 1-2. (1993), pp. 55-77.
|
Search
