Nonmonotonic Logic And Rule-Based Legal Reasoning