@Article{Qua90, Author = "Quaife, A.", Year = "1990", Title = "{Andrews' Challenge Problem Revisited}", Journal = "AAR Newsletter", Volume = "15", Pages = "3-7", Comment = "TPTPRef" }