| 1997 |
|---|
| 8 | | Larry M. Hines:
A Tribute to Woody Bledsoe.
J. Autom. Reasoning 18(1): 1-4 (1997) |
| 1996 |
|---|
| 7 | | Michael Ballantyne,
Robert S. Boyer,
Larry M. Hines:
Woody Bledsoe - His Life and Legacy.
AI Magazine 17(1): 7-20 (1996) |
| 1994 |
|---|
| 6 | | Larry M. Hines:
Str+ve and Integers.
CADE 1994: 416-430 |
| 1992 |
|---|
| 5 | | Larry M. Hines:
The Central Variable Strategy of Str+ve.
CADE 1992: 35-49 |
| 4 | | Larry M. Hines:
Completeness of a Prover for Dense Linear Orders.
J. Autom. Reasoning 8(1): 45-75 (1992) |
| 1990 |
|---|
| 3 | | Larry M. Hines:
Str+ve-Subset: The Str+ve-based Subset Prover.
CADE 1990: 193-206 |
| 1988 |
|---|
| 2 | | Larry M. Hines:
Hyper-Chaining and Knowledge-Based Theorem Proving.
CADE 1988: 469-486 |
| 1980 |
|---|
| 1 | | W. W. Bledsoe,
Larry M. Hines:
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.
CADE 1980: 70-87 |
