@inproceedings{DBLP:conf/ecsqaru/Schaub93, title = {Variations of Constrained Default Logic}, author = {Schaub, Torsten}, booktitle = {{ECSQARU}}, pages = {310--317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {747}, year = {1993} }