| |
| 1991 | ||
|---|---|---|
| 3 | Yossi Lichtenstein, Bob Welham, Ajay Gupta: Time Representation in Prolog Circuit Modelling. ALPUK 1991: 78-93 | |
| 1981 | ||
| 2 | Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16(2): 189-212 (1981) | |
| 1980 | ||
| 1 | Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE 1980: 24-38 | |
| 1 | Alan Bundy | [1] [2] |
| 2 | Ajay Gupta | [3] |
| 3 | Yossi Lichtenstein | [3] |