AIKIT
Factorizing formal contexts from closures of necessity operators | AIKIT