4. LFCS 1997: Yaroslavl, Russia

Acknowledgement: the information on this page was provided by Andrei Voronkov
maintained by Schloss Dagstuhl LZI at University of Trier