G. Humm

• The class inclusion problem