@Inproceedings{BS:02,
    author  = {Joachim Baumeister and Dietmar Seipel},
    title   = "{Diagnostic Reasoning with Multilevel Set--Covering Models}",
    booktitle = {Proc. of the 13th International Workshop on Principles of Diagnosis (DX-02)},
    address =   {Semmering, Austria},
    year    = "2002"
}