Ordered direct implicational basis of a finite closure system

Publication
Discrete Applied Mathematics