Vianu, Victor
[Author]
;
Association for Computing Machinery,
ACM Special Interest Group on Algorithms and Computation Theory,
ACM Special Interest Group on Artificial Intelligence,
ACM Special Interest Group on Management of Data
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems