On the Use of the Constructive Omega-Rule within Automated Deduction.

Siani Baker, Andrew Ireland, Alan Smaill

Browse the full LPAR paper archive.