Ordered direct implicational basis of a finite closure system.

Kira V. Adaricheva, James B. Nation, Robert Rand

Browse the full ISAIM paper archive.