Linear-Input Subset Analysis (1992)

by G Sutcliffe
Venue:11th International Conference on Automated Deduction