ML Anthology

Felty, Amy P.

1 publications

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