Default Logic, Propositional Logic, and Constraints
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/Ben-EliyahuD91, title={Default Logic, Propositional Logic, and Constraints}, pages={379-385}, year={1991}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai91-1.html#Ben-EliyahuD91}, author={Rachel Ben-Eliyahu and Rina Dechter} }\end{bibtex}
