Ordered Resolution vs. Connection Graph Resolution.

Reiner Hhnle, Neil V. Murray, Erik Rosenthal

Browse the full CADE paper archive.