Adaricheva, Kira; Nation, J.B.; Rand, R.
(2012)
Closure system on a nite set is a unifying concept in logic programming,
relational data bases and knowledge systems. It can also be presented
in the terms of nite lattices, and the tools of economic description of a
...