@InCollection{FSS98, Author = "Fischer, B. and Schumann, J. and Snelting, G.", Year = "1998", Title = "{Deduction-based Software Component Retrieval}", Editor = "Bibel, W. and Schmitt, P.", BookTitle = "{Automated Deduction - A Basis for Applications}", Volume = "3", Pages = "265-292", Series = "Applied Logic Series", Publisher = "Kluwer", Comment = "" }