@InProceedings{Sch01-FLAIRS,
    Author       = "Schulz, S.",
    Year         = "2001",
    Title        = "{Information-based Selection of Abstraction Levels}",
    Editor       = "Russell I. and Kolen, J.",
    BookTitle    = "{Proceedings of the 14th International FLAIRS Conference}",
    Place        = "Key West, USA",
    Pages        = "402-406",
    Publisher    = "AAAI Press",
    Comment      = ""
}

@InProceedings{Sch01-KI,
    Author       = "Schulz, S.",
    Year         = "2001",
    Title        = "{Learning Search Control Knowledge for Equational Theorem
                    Proving}",
    Editor       = "Baader, F. and Brewka, G. and Eiter, T.",
    BookTitle    = "{Proceedings of the Joint German/Austrian Conference on
                    Artificial Intelligence}",
    Place        = "Vienna, Austria",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "2174",
    Pages        = "320-334",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}

@InProceedings{Sch01,
    Author       = "Schulz, S.",
    Year         = "2001",
    Title        = "{System Abstract: E 0.61}",
    Editor       = "Gore, R. and Leitsch, A. and Nipkow, T.",
    BookTitle    = "{Proceedings of the International Joint Conference on
                    Automated Reasoning}",
    Place        = "Siena, Italy",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "2083",
    Pages        = "370-375",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPCite"
}

@Article{Sch01-JFM,
    Author       = "Schwarzweller, C.",
    Year         = "2001",
    Title        = "{A Characterization of Concept Lattices. Dual Concept
                    Lattices}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "9",
    Number       = "1",
    Pages        = "55-59",
    Comment      = "TPTPRef,CONLAT_2"
}