On the Use of the Constructive Omega-Rule within Automated Deduction. - Siani Baker; Andrew Ireland; Alan Smaill (LPAR, 1992)

A Proof Environment for Arithmetic with the Omega Rule. - Siani Baker; Alan Smaill (AISMC, 1994)

A New Application for Explanation-Based Generalisation within Automated Deduction. - Siani Baker (CADE, 1994)