APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Baker, S., A. Ireland, and Alan Smaill. On the Use of the Constructive Omega-rule Within Automated Deduction. Edinburgh, 1991.

MLA (9th ed.) Citation

Baker, S., et al. On the Use of the Constructive Omega-rule Within Automated Deduction. 1991.