Harmeling, S. (1998). Eine beweistheoretische Anwendung der <k-Relation. Diploma Thesis, Westfälische Wilhelms-Universität, Münster, Germany.