Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: generalisation
PP113
1992 Paper in Conference Proceedings
Baker,S
;
Ireland,A
;
Smaill,AD
On the Use of the Constructive Omega-Rule within Automated Deduction