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