Jinyu Wang, Minquan Cheng, Kai Wan, Giuseppe Caire: A Framework of Constructing PDA via Union of Cache Configurations from Cartesian Product. ISIT 2025: 1-6