Andrei Rimsa Luis E. Zárate Mark A. J. Song Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. 367-376 2009 ICCS (1) http://dx.doi.org/10.1007/978-3-642-01970-8_36 conf/iccS/2009-1 db/conf/iccS/iccS2009-1.html#RimsaZS09