Extending the Regular Restriction of Resolution to Non-Linear Subdeductions.

Bruce Spencer, Joseph Douglas Horton

Browse the full AAAI paper archive.