@InProceedings{BW13,
    Author       = "Baumgartner, P. and Waldmann, U.",
    Year         = "2013",
    Title        = "{Hierarchic Superposition With Weak Abstraction}",
    Editor       = "Bonacina, M.P.",
    BookTitle    = "{Proceedings of the 24th International Conference on
                    Automated Deduction}",
    Place        = "Lake Placid, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "7898",
    Pages        = "39-57",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}

@Unpublished{BW13-arXiv,
    Author       = "Benzm{\"u}ller, C. and Woltzenlogel Paleo, B.",
    Year         = "2013",
    Title        = "{Formalization, Mechanization and Automation of
                    G{\"o}del's Proof of God's Existence}",
    Note         = "arXiv:1308.4526",
    Comment      = ""
}