@InProceedings{Ste05-UITP,
    Author       = "Steel, G.",
    Year         = "2005",
    Title        = "{Visualising First-Order Proof Search}",
    Editor       = "Aspinall, D. L{\"u}th, C.",
    BookTitle    = "{Proceedings of User Interfaces for Theorem Provers 2005}",
    Place        = "Edinburgh, United Kingdom",
    Pages        = "179-189",
    Comment      = ""
}

@InProceedings{Ste05,
    Author       = "Steel, G.",
    Year         = "2005",
    Title        = "{Deduction with XOR Constraints in Security API Modelling}",
    Editor       = "Nieuwenhuis, R.",
    BookTitle    = "{Proceedings of the 20th International Conference on
                    Automated Deduction}",
    Place        = "Tallinn, Estonia",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "3632",
    Pages        = "322-336",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}