@Article{Str06, Author = "Struth, G.", Year = "2006", Title = "{Abstract Abstract Reduction}", Journal = "Journal of Logic and Algebraic Programming", Volume = "66", Number = "2", Pages = "239-270", Comment = "TPTPRef" }