Media type: E-Article Title: AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff Contributor: Castellanos Joo, Jose Abel [Author]; Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] Published: 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 40-52 Language: English Origination: Footnote: Access State: Open Access