Support Ordered Resolution.

Bruce Spencer, Joseph Douglas Horton

Browse the full CADE paper archive.