Conference on Computer Logic 1988: Tallinn, USSR

maintained by Schloss Dagstuhl LZI, founded at University of Trier