| |
| 1994 | ||
|---|---|---|
| 3 | Siani Baker, Alan Smaill: A Proof Environment for Arithmetic with the Omega Rule. AISMC 1994: 115-130 | |
| 2 | Siani Baker: A New Application for Explanation-Based Generalisation within Automated Deduction. CADE 1994: 177-191 | |
| 1992 | ||
| 1 | Siani Baker, Andrew Ireland, Alan Smaill: On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225 | |
| 1 | Andrew Ireland | [1] |
| 2 | Alan Smaill | [1] [3] |