@InProceedings{Hur03,
    Author       = "Hurd, J.",
    Year         = "2003",
    Title        = "{First-Order Proof Tactics in Higher-Order Logic Theorem Provers}",
    Editor       = "Archer, M. and Di Vito, B. and Munoz, C.",
    BookTitle    = "{Proceedings of the 1st International Workshop on Design
                    and Application of Strategies/Tactics in Higher Order
                    Logics}",
    Place        = "Rome, Italy",
    Series       = "NASA Technical Reports",
    Number       = "NASA/CP-2003-212448",
    Pages        = "56-68",
    Comment      = ""
}