ML Anthology

Horton, Joseph Douglas

1 publications

AAAI 1997 Extending the Regular Restriction of Resolution to Non-Linear Subdeductions Bruce Spencer, Joseph Douglas Horton