"Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles ..."

Daniel J. Rosenkrantz, Yehoshua Sagiv (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics