A Subsumption Algorithm Based on Characteristic Matrices.

Rolf Socher

Browse the full CADE paper archive.