Ganter, B. (1999). Attribute Exploration with Background Knowledge.
TCS
, 217, 215--233.