Troy, A. D.; Zhang, G.-Q. & Tian, Y. (2007), Faster Concept Analysis, in U. Priss; S. Polovina & R. Hill, ed., 'Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007)' , Springer-Verlag, Berlin, Heidelberg , pp. 206--219 .