| |
Database Theory — ICDT '92 (1992), pp. 436-449.
|
| |
In SIGIR '95: Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval (1995), pp. 282-290.
|
| |
SIGMOD Rec., Vol. 17, No. 3. (June 1988), pp. 154-163.
|
| |
Theor. Comput. Sci., Vol. 296, No. 3. (March 2003), pp. 379-404.
|
| |
Lecture Notes in Computer Science, Vol. 1973 (2001), pp. 1-??.
|
| |
In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979), pp. 110-119.
|
| |
Theor. Comput. Sci., Vol. 342, No. 2-3. (2005), pp. 382-415.
|
| |
Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 205-234.
|
| |
|
| |
|
| |
J. ACM, Vol. 42, No. 4. (July 1995), pp. 741-843.
|
| |
Reasoning Web (2005), pp. 22-34.
|
| |
|
| |
In PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986), pp. 1-15.
|
| |
In Logic Programming, Proceedings of the 1991 International Symposium (1991), pp. 337-354.
|
| |
In Proceedings of the 7th Symposium on Artificial Intelligence and Mathematics (2002)
|
| |
|
| |
Journal of Automated Reasoning, Vol. 15, No. 2. (1 June 1995), pp. 237-265.
|
| |
|
| |
Journal of Logic Programming, Vol. 11, No. 3&4. (1991), pp. 189-216.
|
| |
In SIGMOD '86: Proceedings of the 1986 ACM SIGMOD international conference on Management of data (1986), pp. 16-52.
|
| |
|
| |
In IEEE Conference on Computational Complexity (1997), pp. 82-101.
|
Search
