@misc{indiciae6534f4de9d16, title = {Ordered direct implicational basis of a finite closure system}, author = {Kira Adaricheva and J. B. Nation and Robert Rand}, year = {2012}, doi = {10.1016/j.dam.2012.08.031}, url = {https://arxiv.org/abs/1110.5805}, note = {Source identifier: 1110.5805} }