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