An Integration of Resolution and Natural Deduction Theorem Proving.

Dale Miller, Amy P. Felty

Browse the full AAAI paper archive.