Bledsoe and Gohui Feng, Set-Var (1993)

by W W
Venue:Journal of Automated Reasoning