Radim Belohlávek Vilém Vychodil Formal Concept Analysis with Constraints by Closure Operators. 131-143 2006 conf/iccs/2006 ICCS http://dx.doi.org/10.1007/11787181_10 db/conf/iccs/iccs2006.html#BelohlavekV06