Reasoning with prioritized defaults | doi.page