@Article{Wos89, Author = "Wos, L.", Year = "1989", Title = "{A Challenge Problem and a Recent Workshop}", Journal = "AAR Newsletter", Volume = "13", Pages = "2-8", Comment = "TPTPRef" }