A decision method for nonmonotonic reasoning based on autoepistemic reasoningTowards eOEcient default reasoning
