@InProceedings{Sch04-ESFOR,
    Author       = "Schulz, S.",
    Year         = "2004",
    Title        = "{Simple and Efficient Clause Subsumption with Feature Vector Indexing}",
    Editor       = "Sutcliffe, G. and Schulz, S. and Tammet, T.",
    BookTitle    = "{Proceedings of the Workshop on Empirically Successful First Order Reasoning}",
    Place        = "Cork, Ireland",
    Comment      = ""
}

@InProceedings{Sch04,
    Author       = "Schulz, S.",
    Year         = "2004",
    Title        = "{System Abstract: E 0.81}",
    Editor       = "Rusinowitch, M. and Basin, D.",
    BookTitle    = "{Proceedings of the 2nd International Joint Conference on Automated Reasoning}",
    Place        = "Cork, Ireland",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "3097",
    Pages        = "223-228",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}