| 1996 | ||
|---|---|---|
| j1 | François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction Using Term Orders. J. Autom. Reasoning 16(1-2): 3-37 (1996) | |
| 1994 | ||
| c1 | François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction using Term Orderings. CADE 1994: 102-117 | |
| 1 | François Bronsard | |
| 2 | Uday S. Reddy |
Data released under the ODC-BY 1.0 license — See also our legal information page