"Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen ..."

Peter Kümmel (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics