A Subsumption Algorithm Based on Characteristic Matrices.

Rolf Socher A Subsumption Algorithm Based on Characteristic Matrices. 573-581 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#Socher88 http://dx.doi.org/10.1007/BFb0012858