| |
| 1996 | ||
|---|---|---|
| 2 | François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction Using Term Orders. J. Autom. Reasoning 16(1-2): 3-37 (1996) | |
| 1994 | ||
| 1 | François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction using Term Orderings. CADE 1994: 102-117 | |
| 1 | François Bronsard | [1] [2] |
| 2 | Uday S. Reddy | [1] [2] |