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