A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ | UPT Perpustakaan UHAMKA