Implementing Default Reasoning Using Quantified Boolean Formulae