P. Kummel

• Formalization of natural languages