@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      = ""
}