IBM Symposium: Natural Language and Logic, 1989

maintained by Schloss Dagstuhl LZI at University of Trier