Comparing performance of algorithms for generating the Duquenne-Guigues basis (2011)

by Konstantin Bazhanov, Sergei A Obiedkov
Venue:In CLA