@inproceedings{DBLP:conf/ecai/Schaub92, author = {Schaub, Torsten}, title = {On Constrained Default Theories}, booktitle = {{ECAI}}, pages = {304--308}, year = {1992} }