1. A linear-time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Information Processing Letters,1979
2. Playing with Boolean blocks, part I: Post's lattice with applications to complexity theory;Böhler;ACM SIGACT-Newsletter,2003
3. Playing with Boolean blocks, part II: Constraint satisfaction problems;Böhler;ACM SIGACT-Newsletter,2004
4. Bases for Boolean co-clones;Böhler;Information Processing Letters,2005
5. Nonmonotonic Reasoning: An Overview;Brewka,1997