ML Anthology

Miller, Dale

1 publications

AAAI 1986 An Integration of Resolution and Natural Deduction Theorem Proving Dale Miller, Amy P. Felty