General Interpolation and Strong Amalgamation for Contiguous Arrays. - Silvio Ghilardi; Alessandro Gianola; Deepak Kapur; Chiara Naso (CoRR, 2022)

Interpolation Results for Arrays with Length and MaxDiff. - Silvio Ghilardi; Alessandro Gianola; Deepak Kapur; Chiara Naso (ACM Trans. Comput. Log., 2023)