@Article{BF93, Author = "Bledsoe, W.W. and Feng, G.", Year = "1993", Title = "{SET-VAR}", Journal = "Journal of Automated Reasoning", Volume = "11", Number = "3", Pages = "293-314", Comment = "TPTPRef" }