@Article{AB06,
    Author       = "Andrews, P.B. and Brown, C.E.",
    Year         = "2006",
    Title        = "{TPS: A Hybrid Automatic-Interactive System for Developing
                    Proofs}",
    Journal      = "Journal of Applied Logic",
    Volume       = "4",
    Number       = "4",
    Pages        = "367-395",
    Comment      = ""
}