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

Moshe Y. Vardi, Paris C. Kanellakis (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics