"Logic and Computation (Panel)."

Satoru Takasu (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics