| |
| * | 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 | EE | Larry M. Hines: Str+ve and Integers. CADE 1994: 416-430 |
| 1992 | ||
| 5 | EE | 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 | EE | Larry M. Hines: Str+ve-Subset: The Str+ve-based Subset Prover. CADE 1990: 193-206 |
| 1988 | ||
| 2 | EE | Larry M. Hines: Hyper-Chaining and Knowledge-Based Theorem Proving. CADE 1988: 469-486 |
| 1980 | ||
| 1 | EE | W. W. Bledsoe, Larry M. Hines: Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. CADE 1980: 70-87 |
| 1 | Michael Ballantyne | [7] |
| 2 | W. W. Bledsoe | [1] |
| 3 | Robert S. Boyer | [7] |