doi dblp On complexity reduction of concept lattices: three counterexamples Michal Krupka 2012 Volume 15 Issue 2