`Travelled to:`

2 × France

2 × USA

`Collaborated with:`

∅ W.W.Bledsoe

`Talks about:`

str (4) base (3) variabl (2) subset (2) prover (2) chain (2) strategi (1) knowledg (1) theorem (1) resolut (1)

## Person: Larry M. Hines

### DBLP: Hines:Larry_M=

### Contributed to:

### Wrote 5 papers:

- CADE-1994-Hines #integer
- Str+ve and Integers (LMH), pp. 416–430.
- CADE-1992-Hines
- The Central Variable Strategy of Str+ve (LMH), pp. 35–49.
- CADE-1990-Hines #proving #set
- Str+ve-Subset: The Str+ve-based Subset Prover (LMH), pp. 193–206.
- CADE-1988-Hines #knowledge-based #proving #theorem proving
- Hyper-Chaining and Knowledge-Based Theorem Proving (LMH), pp. 469–486.
- CADE-1980-BledsoeH #proving
- Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.