The goal of this work is to develop a formal logical foundation of the representation and the retrieval of cases in CBR. An adequate basis therefor provides the default logic with priorities. We present transformations which construct defaults from the memory of cases such that the retrieval of knowledge in CBR corresponds roughly to the preferred subtheory obtained by the defaults. Die vorliegende Arbeit stellt einen Ansatz zur logischen Fundierung des fallbasierten Schliessens vor. Aufbauend auf einer formalen Definition des Fallspeichers, wird eine Default-Theorie entwickelt, die prinzipiell die gleichen Informationen enthält, wie der Fallspeicher. Die Default-Theorie basiert auf der Default-Logik mit Prioritäten nach Reiter mit der Erweiterung auf priorisierte Defaults nach Brewka. Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991 (in German). Published as SEKI Report SWP-91-04 (SFB), Dec 1991. Short Version ``Retrieval in Case-Based Reasoning using preferred subtheories'' appeared in G. Brewka, K. P. Jantke and P. H. Schmitt, eds., 2nd International Workshop on Nonmonotonic and Inductive Logic, Reinhardsbrunn Castle, Germany, Dec 2-6 1991, pages 284-297, Lecture Notes in Artificial Intelligence, vol. 659.