An A-Star Algorithm for Argumentative Rule Extraction. - Benoît Alcaraz; Adam Kaliski; Christopher Leturc (ICAART (2), 2025)