4th LFCS 1997: Yaroslavl, Russia

Acknowledgement: the information on this page was provided by Andrei Voronkov
a service of Schloss Dagstuhl - Leibniz Center for Informatics