A top-level model of case-based argumentation for explanation: Formalisation and experiments. - Henry Prakken; Rosa Ratsma (Argument Comput., 2022)