2. WOCFAI 1995: Paris, France

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