ML Anthology

Spencer, Bruce

1 publications

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