Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Dieter Hutter
Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
