@article {RischSchwind94,
author = {V. Risch and C. Schwind},
title = {Tableau-Based Characterization and Theorem Proving for Default Logic},
journal = {Journal of Automated Reasoning},
volume = {13},
number = {2},
month = {october}, year = {1994},
pages = {223--242}
}