Bern Open Repository and Information System (University of Bern) · 2006 · 11 citations · 11 references
Open access
Algebraic LogicEngineeringAlgebraic StructureBoolean FunctionAutomated ReasoningComputer ScienceAn Attribute Exploration
11
Rudolf Wille · Electronic Notes in Discrete Mathematics · 1999 · 1.9K citations
Ivo Düntsch · Theoretical Computer Science · 1997 · 107 citations