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