On the use of the constructive omega-rule within automated deduction - Baker, S.; Ireland, A.; Smaill, Alan (1991)