@InProceedings{BS09-FTP,
    Author       = "Baumgartner, P. and Slaney, J.",
    Year         = "2009",
    Title        = "{Constraint Modelling: A Challenge for Automated Reasoning}",
    Editor       = "Peltier, N. and Sofronie-Stokkermans, V.",
    BookTitle    = "{Proceedings of the 7th International Workshop on First-Order Theorem Proving}",
    Place        = "Oslo, Norway",
    Series       = "CEUR Workshop Proceedings",
    Number       = "556",
    Pages        = "4-18",
    Comment      = "TPTPRef"
}

@InProceedings{BS09-TPHOLs,
    Author       = "Brown, C.E. and Smolka, G.",
    Year         = "2009",
    Title        = "{Extended First-Order Logic}",
    Editor       = "Nipkow, T. and Urban, C.",
    BookTitle    = "{Proceedings of the 22nd International Conference on Theorem Proving in Higher
                    Order Logics}",
    Place        = "Munich, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "5674",
    Pages        = "164-179",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}

@InProceedings{BS09,
    Author       = "Brown, C.E. and Smolka, G.",
    Year         = "2009",
    Title        = "{Terminating Tableaux for the Basic Fragment of Simple Type Theory}",
    Editor       = "Giese, M. and Waaler, A.",
    BookTitle    = "{Proceedings of the 18th International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods}",
    Place        = "Oslo, Norway",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "5697",
    Pages        = "138-151",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}