Entwicklung intelligenter Formelsprachen zur Klärung der Gültigkeit von Schliessungssätzen in verallgemeinerten projektiven Räumen unter Einsatz von Rechnern (FAQIR). - Ingrid Oberbeil (1991)