@Article{AZ89, Author = "Angshuman, G. and Zhang, H.", Year = "1989", Title = "{Andrews' Challenge Problem: Clause Conversion and Solutions}", Journal = "AAR Newsletter", Volume = "14", Pages = "5-8", Comment = "TPTPRef" }