1. S.B. Akers. Binary decision diagrams. IEEE Transactions on Computers,C-27(6):509516, 1978.
2. R. Ben-Eliyahu and R. Dechter. Default reasoning using classical logic. Artificial Intelligence, 84: 113–150, 1996.
3. Ph. Besnard and P. Siegel. The preferential-models appmach to non-monotonic logics, chapter Non-Standard Logics for Automated Reasoning, pages 137–161. Academic Press, London, 1988.
4. Ph. Besnard. Default logic. Symbolic Computation. Springer-Verlag, Berlin, 1989.
5. W. Bibel. On matrices with connections. Journal of the Association for Computing Machinery, 28 (4): 633–645, 1981.