Khardon, Mannila, Roth, 1999. Reasoning with examples: propositional formulae and database dependencies 36.. https://doi.org/10.1007/s002360050161