Schiekel, Christian (1994) Reduktion und Äquivalenz generalisierter relationaler Schemata - theoretische Grundlagen und algorithmische Lösungen. Diploma thesis, Universität Ulm.