Logic Rules as Explanations for Legal Case Retrieval