| |
In Proceedings of OOPSLA '09 (2009), pp. 243-262.
|
| |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005), pp. 517-528.
|
| |
The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230.
|
| |
Logic Programming (2003), pp. 109-127.
|
| |
ALP Newsletter, Vol. 20, No. 2. (May 2007)
|
| |
Commun. ACM, Vol. 22, No. 7. (July 1979), pp. 424-436.
|
| |
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.
|
| |
J Logic Computation, Vol. 2, No. 3. (1 June 1992), pp. 297-347.
|
| |
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 In Proceedings of ASPLAS '05 (2005), pp. 97-118.
|
| |
Mach. Learn., Vol. 14, No. 2. (1 February 1994), pp. 219-232.
|
| |
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.
|
| |
In Proceedings of PPDP '05 (July 2005), pp. 35-46.
|
| |
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.
|
| |
Automated Deduction — CADE-16 In Automated Deduction --- CADE-16 (1999), pp. 202-206.
|
| |
|
| |
In ISLP (1991), pp. 321-336.
|
| |
J. Log. Program., Vol. 15, No. 1-2. (1993), pp. 55-77.
|
| |
In Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics (1995), pp. 133-140.
|
| |
In ICLP (1993), pp. 64-79.
|
| |
In JICSLP (1992), pp. 273-287.
|
| |
Logic Programming (2008), pp. 114-129.
|
| |
Automata, Languages and Programming In Proceedings of ICALP '08 (2008), pp. 336-347.
|
| |
In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2009), pp. 9-20.
|
| |
Algebraic and Logic Programming (1996), pp. 224-237.
|
| |
Logic Programming (2001), pp. 315-330.
|
CiteULike
robertjohnsimmons's CiteULike
Search
Export
