Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.

Michael Wachter, Rolf Haenni

Browse the full KR paper archive.