Implementing Default Reasoning Using Quantified Boolean Formulae

Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran. Implementing Default Reasoning Using Quantified Boolean Formulae. In WLP. pages 223-228, 2000.

Abstract

Abstract is missing.