COLOG Conference on Computer Logic 1988: Tallinn, USSR

a service of Schloss Dagstuhl - Leibniz Center for Informatics