| |
In PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming (2009), pp. 61-72.
|
| |
J. Exp. Algorithmics, Vol. 13 (2009)
|
| |
MICAI 2008: Advances in Artificial Intelligence (2008), pp. 1-11.
|
| |
European Journal of Combinatorics, Vol. 28, No. 8. (November 2007), pp. 2167-2181.
|
| |
|
| |
In TARK '03: Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge (2003), pp. 215-230.
|
| |
In International Joint Conference on Artificial Intelligence (2005)
|
| |
|
| |
|
| |
|
| |
|
| |
Artificial Intelligence, Vol. 124, No. 2. (December 2000), pp. 243-282.
|
| |
In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007), pp. 13-22.
|
| |
|
| |
In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 40-49.
|
| |
In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 148-159.
|
| |
ACM Trans. Comput. Logic, Vol. 6, No. 2. (April 2005), pp. 232-272.
|
| |
Graph-Theoretic Concepts in Computer Science (2005), pp. 1-15.
|
| |
|
| |
J. ACM, Vol. 48, No. 3. (May 2001), pp. 431-498.
|
| |
J. Comput. Syst. Sci., Vol. 66, No. 4. (June 2003), pp. 775-808.
|
| |
Journal of Computer and System Sciences, Vol. 64, No. 3. (May 2002), pp. 579-627.
|
