| |
In Proceedings of OOPSLA '09 (2009), pp. 243-262.
|
| |
|
| |
ALP Newsletter, Vol. 20, No. 2. (May 2007)
|
| |
The Journal of Logic Programming, Vol. 23, No. 2. (May 1995), pp. 125-149.
|
| |
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.
|
| |
In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 38-49.
|
| |
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.
|
| |
Nordic J. of Computing, Vol. 9, No. 4. (2002), pp. 335-372.
|
| |
Logic Programming And Nonmonotonic Reasoning (1997), pp. 375-386.
|
| |
In PODS '88: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1988), pp. 61-73.
|
| |
Computational Intelligence, Vol. 12, No. 2. (1996), pp. 235-259.
|
| |
Journal of Automated Reasoning In Journal of Automated Reasoning, Vol. 40, No. 2. (1 March 2008), pp. 133-177.
|
| |
In ISLP (1991), pp. 321-336.
|
| |
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.
|
CiteULike
robertjohnsimmons's CiteULike
Search
Export
