TY  - RPRT
TI  - Ordered direct implicational basis of a finite closure system
AU  - Kira Adaricheva
AU  - J. B. Nation
AU  - Robert Rand
PY  - 2012
DO  - 10.1016/j.dam.2012.08.031
UR  - https://arxiv.org/abs/1110.5805
ID  - 1110.5805
ER  -